Lower Bounds for RAMs and Quantifier Elimination.
Miklós AjtaiPublished in: Electron. Colloquium Comput. Complex. (2013)
Keyphrases
- quantifier elimination
- lower bound
- upper bound
- constraint propagation
- presburger arithmetic
- functional programming
- cardinality constraints
- first order logic
- constraint databases
- branch and bound
- lower and upper bounds
- optimal solution
- np hard
- objective function
- database
- software engineering
- transitive closure
- data model
- search space