Keyphrases
- path consistency
- constraint satisfaction problems
- constraint problems
- constraint networks
- consistency checking
- global constraints
- constraint satisfaction
- maintaining arc consistency
- hypertree decomposition
- search space
- weighted constraint satisfaction
- symmetry breaking
- arc consistency
- constraint propagation
- global consistency
- constraint graph
- constraint programming
- non binary
- backtracking algorithm
- disjunctive constraints
- temporal reasoning