Login / Signup

Real Quantifier Elimination is Doubly Exponential.

James H. DavenportJoos Heintz
Published in: J. Symb. Comput. (1988)
Keyphrases
  • quantifier elimination
  • constraint propagation
  • constraint databases
  • general purpose
  • first order logic
  • cardinality constraints
  • functional programming
  • database
  • query language
  • presburger arithmetic