Return to Article Details Constraint Propagation in Propositional Planning Download Download PDF