Keyphrases
- constraint propagation
- constraint reasoning
- constraint solving
- constraint programming
- constraint satisfaction problems
- quantifier elimination
- soft constraints
- interval analysis
- linear programming
- arc consistency
- low level
- constraint solver
- systematic search
- interval arithmetic
- databases
- heuristic search
- satisfiability problem
- dynamic programming
- search space