Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations

  title={Pruning Conformant Plans by Counting Models on Compiled d-DNNF Representations},
  author={H{\'e}ctor Palacios and Blai Bonet and Adnan Darwiche and Hector Geffner},
Optimal planners in the classical setting are built around two notions: branching and pruning. SAT-based planners for example branch by trying the values of a selected variable, and prune by propagating constraints and checking consistency. In the conformant setting, a similar branching scheme can be used if restricted to action variables, but the pruning scheme must be modified. Indeed, pruning branches that encode inconsistent partial plans is not sufficient since a partial plan may be… CONTINUE READING
Highly Cited
This paper has 61 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 36 extracted citations

61 Citations

Citations per Year
Semantic Scholar estimates that this publication has 61 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…