© 2000 Todd Neller.  A.I.M.A. text figures © 1995 Prentice Hall.  Used by permission.
Constraint Satisfaction as Tree Search
•Initial state:
–No variables assigned
•Operators:
–Assign a single variable a member of its domain
•Goal Test:
–All variables assigned
•Path Cost:
–Irrelevant à 0