Constraint Propagation in Propositional Planning

Open in new window