The complexity of quantifier elimination and cylindrical algebraic decomposition.

Christopher W. Brown James H. Davenport

Published in: ISSAC (2007)

Keyphrases

quantifier elimination
constraint propagation
computational complexity
first order logic
constraint databases
functional programming
cardinality constraints
general purpose
database design
functional dependencies
temporal data
transitive closure
presburger arithmetic