Keyphrases
- constraint satisfaction problems
- constraint programming
- decomposition methods
- constraint satisfaction
- tree decomposition
- constraint solving
- arc consistency
- constraint propagation
- tree decompositions
- np complete
- np hard
- constraint networks
- feature selection
- constraint graph
- closest string
- solving constraint satisfaction problems
- search algorithm
- non binary
- decomposition method
- information systems
- data sets
- sat encodings
- database