Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- decomposition methods
- constraint propagation
- constraint solving
- tree decompositions
- constraint programming
- np hard
- arc consistency
- constraint networks
- tree decomposition
- arc consistency algorithm
- search algorithm
- heuristic search
- linear programming
- lower bound
- constraint graph
- artificial intelligence