Keyphrases
- constraint satisfaction problems
- decomposition methods
- constraint satisfaction
- arc consistency
- constraint networks
- first order logic
- constraint programming
- constraint propagation
- tree decomposition
- np complete
- computation tree logic
- datalog programs
- soft constraints
- transitive closure
- search space
- constraint solving
- relational databases
- solving constraint satisfaction problems
- tree decompositions
- neural network