17 Feb 2005
CS 3243 - Constraint Satisfaction
30
Constraint propagation
nForward checking propagates information from assigned to unassigned variables, but doesn't provide early detection for all failures:
n
n
n
n
n
nNT and SA cannot both be blue!
nConstraint propagation repeatedly enforces constraints locally