Constraint Satisfaction
Problem
Variables (X1, X2, …, Xn)
Variable domains (D1, D2, …, Dn)
Variable constraints, pairs of:
Constraint variable subsets, and
Relations over such subsets