Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- solving constraint satisfaction problems
- search space
- arc consistency
- symmetry breaking
- interactive theorem proving
- digital topology
- backtracking algorithm
- non binary
- information systems
- machine learning
- search tree
- tree decomposition
- image sequences
- real world