17 Feb 2005
CS 3243 - Constraint Satisfaction
26
Forward checking
nIdea:
nKeep track of remaining legal values for unassigned variables
nTerminate search when any variable has no legal values