Keyphrases
- quantifier elimination
- lower bound
- constraint propagation
- upper bound
- presburger arithmetic
- functional programming
- cardinality constraints
- constraint databases
- first order logic
- objective function
- branch and bound
- np hard
- lower and upper bounds
- high level
- optimal solution
- database
- database design
- linear programming
- general purpose
- knowledge representation