Improvements to SAT-Based Conformant Planning

摘要: 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, planning domains having incomplete information about initial state and/or effects of actions. paper we present some domain independent optimizations basic procedure described in work. A comparative experimental analysis shows resulting competitive with other state-of-the-art planners on a high degree parallelism.