Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- inductive learning
- constraint satisfaction
- constraint solver
- constraint programming
- machine learning
- inductive inference
- knowledge representation
- inductive logic programming
- rule learning
- finite domain
- tree search
- orders of magnitude
- dynamic programming
- data structure