Keyphrases
- quantifier elimination
- presburger arithmetic
- constraint propagation
- functional programming
- constraint databases
- cardinality constraints
- first order logic
- constraint query languages
- machine learning
- relational databases
- artificial intelligence
- optimal solution
- linear programming
- constraint programming
- temporal constraints