文章基本信息
- 标题：Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning
- 本地全文：下载
- 作者：Jendrik Seipp ; Malte Helmert
- 期刊名称：Journal of Artificial Intelligence Research
- 印刷版ISSN：1076-9757
- 出版年度：2018
- 卷号：62
- 页码：535-577
- 出版社：American Association of Artificial
