Difference between revisions of "CS188.1x"
From Wiki2
(Created page with " ====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 c...") |
(No difference)
|
Revision as of 15:13, 13 October 2012
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.