Keyphrases
- constraint satisfaction problems
- decomposition methods
- constraint propagation
- constraint satisfaction
- constraint programming
- arc consistency
- constraint solving
- arc consistency algorithm
- tree decompositions
- constraint graph
- tree decomposition
- non binary
- search space
- np hard
- case study
- constraint problems
- constraint networks
- search algorithm
- image segmentation
- information retrieval
- closest string
- neural network
- databases