CS188.1x
From Wiki2
constraints
- unary constraint
- is a constraint on a single variable (e.g., X≠4).
- binary constraint
- is a constraint over a pair of variables (e.g., X≠Y).
- k-ary constraint has a scope of size k.
arc constraints
- x-->y
For every x-value in the tail is there a is there some y-value that can meet the constraints. If not then remove those values from x.
