Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- decomposition methods
- closest string
- arc consistency
- tree decomposition
- constraint solving
- constraint programming
- partial constraint satisfaction
- database
- solving constraint satisfaction problems
- constraint networks
- constraint graph
- np hard
- hidden markov models
- search space
- multiscale
- sat encodings
- case study
- hypertree decomposition
- arc consistency algorithm
- learning algorithm
- tree decompositions
- neural network