Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- fixed point
- propositional logic
- arc consistency
- constraint propagation
- finite number
- valued logic
- constraint programming
- constraint networks
- symmetry breaking
- finitely representable
- search space
- backtracking algorithm
- non binary
- belief revision
- integrity constraints
- np complete