Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- ordering heuristics
- solving constraint satisfaction problems
- arc consistency
- symmetry breaking
- constraint networks
- search space
- constraint problems
- backtracking algorithm
- constraint programming
- maintaining arc consistency
- partial constraint satisfaction
- non binary
- evolutionary algorithm
- hypertree decomposition
- distributed constraint satisfaction
- information systems
- tree decomposition
- social networks
- orders of magnitude
- special case
- sat encodings
- video sequences
- artificial intelligence
- machine learning