An extension of SATPLAN for planning with constraints

摘要

In this paper we present C-SATPLAN, a planner which realuzes an extension to the satisfiability based planning system SATPLAN for solving constrained planning problems, whose architecture is independent from the SAT solver algorithm being used.