Constraint Propagation …
CS B551: Elements of Artificial Intelligence
Constraint Satisfaction Problems, Pt 2