Keyphrases
- constraint satisfaction problems
- decomposition methods
- constraint propagation
- constraint satisfaction
- constraint programming
- constraint solving
- arc consistency algorithm
- solving constraint satisfaction problems
- search space
- arc consistency
- partial constraint satisfaction
- np complete
- tree decompositions
- tree decomposition
- constraint graph
- sat encodings
- constraint networks
- database theory
- soft constraints
- database
- np hard
- lower bound
- computational complexity
- data structure