Binary Constraint Network
Set of n variables: x1 … xn
Value domains for each variable: D1 … Dn
Set of binary constraints (also known as relations)
- Consistent subset of cross product: Rij ? Di ? Dj
Partial assignment of values with a tuple of pairs
- Consistent if all constraints satisfied on all vars in tuple
- Tuple = full solution if consistent & all vars included
Tuple {(xi, ai) … (xj, aj)} consistent w/ a set of vars