17 Feb 2005
CS 3243 - Constraint Satisfaction
5
Example: Map-Coloring
nSolutions are complete and consistent assignments, e.g., WA = red, NT = green,Q = red,NSW = green,V = red,SA = blue,T = green