Keyphrases
- quantifier elimination
- constraint logic programming
- constraint propagation
- constraint solving
- constraint programming
- presburger arithmetic
- constraint satisfaction problems
- first order logic
- constraint satisfaction
- functional programming
- answer set programming
- cardinality constraints
- logic programming
- temporal constraints
- arc consistency
- tree search
- constraint databases
- linear programming
- expressive power
- search space