© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Constraint Satisfaction
Problem
•
Variables (X1, X2, …, Xn)
•
Variable domains (D1, D2, …, Dn)
•
Variable constraints, pairs of:
–
Constraint variable subsets, and
–
Relations over such subsets
