Keyphrases
- quantifier elimination
- first order logic
- constraint propagation
- presburger arithmetic
- functional programming
- expressive power
- constraint databases
- cardinality constraints
- search space
- theorem proving
- inference rules
- knowledge representation
- transitive closure
- machine learning
- temporal constraints
- constraint satisfaction
- linear programming