๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Complexity results for standard benchmark domains in planning

โœ Scribed by Malte Helmert


Book ID
108306942
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
515 KB
Volume
143
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


SAT-based planning in complex domains: C
โœ Claudio Castellini; Enrico Giunchiglia; Armando Tacchella ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 460 KB

Planning as satisfiability is a very efficient technique for classical planning, i.e., for planning domains in which both the effects of actions and the initial state are completely specified. In this paper we present C-SAT, a SAT-based procedure capable of dealing with planning domains having incom