Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- decomposition methods
- tree decomposition
- constraint propagation
- arc consistency
- constraint programming
- arc consistency algorithm
- tree decompositions
- decomposition method
- np complete
- solving constraint satisfaction problems
- information retrieval
- np hard
- constraint solving
- case study
- constraint graph
- backtracking search
- artificial intelligence