Keyphrases
- quantifier elimination
- lower bound
- upper bound
- constraint propagation
- presburger arithmetic
- functional programming
- first order logic
- constraint databases
- cardinality constraints
- lower and upper bounds
- branch and bound
- optimal solution
- np hard
- constraint satisfaction problems
- objective function
- fixed point
- heuristic search