AAAI Publications, Sixth European Conference on Planning

Font Size: 
Improvements to SAT-Based Conformant Planning
Claudio Castellini, Enrico Giunchiglia, Armando Tacchella

Last modified: 2014-05-21


Planning as satisfiability is an efficient technique for classical planning. In previous work by the second author, this approach has been extended to conformant planning, that is, to planning domains having incomplete information about the initial state and/or the effects of actions. In this paper we present some domain independent optimizations to the basic procedure described in the previous work. A comparative experimental analysis shows that the resulting procedure is competitive with other state-of-the-art conformant planners on domains with a high degree of parallelism.

Full Text: PDF