17 Feb 2005
CS 3243 - Constraint Satisfaction
8
Varieties of constraints
nUnary constraints involve a single variable,
ne.g.,
SA ≠ green
nBinary constraints involve pairs of variables,
ne.g.,
SA ≠ WA
nHigher-order constraints involve 3 or more variables,
ne.g.,
cryptarithmetic column constraints