Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- decomposition methods
- constraint propagation
- term rewriting
- tree decompositions
- tree decomposition
- constraint solving
- rewrite systems
- arc consistency
- sat encodings
- search space
- arc consistency algorithm
- artificial intelligence
- partial constraint satisfaction
- termination analysis
- solving constraint satisfaction problems
- active rules
- type checking
- data mining
- np complete
- database systems
- case study
- information systems
- learning algorithm