Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- arc consistency
- non binary
- solving constraint satisfaction problems
- tree decomposition
- search space
- constraint networks
- hypertree decomposition
- redundancy reduction
- partial constraint satisfaction
- database
- image sequences
- symmetry breaking
- redundant data