TR029: Constraint Propagation in Planning