Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- decomposition methods
- tree decomposition
- constraint programming
- term rewriting
- constraint propagation
- solving constraint satisfaction problems
- rewrite systems
- real world
- linear programming
- expert systems
- image sequences
- case study
- arc consistency
- non binary
- information systems
- constraint solving
- information retrieval
- type checking
- forward checking
- machine learning