Keyphrases
- quantifier elimination
- constraint propagation
- presburger arithmetic
- constraint databases
- cardinality constraints
- functional programming
- first order logic
- constraint query languages
- expressive power
- database
- machine learning
- constraint satisfaction problems
- constraint satisfaction
- integer programming
- boolean algebra