An Improved Algorithm for Quantifier Elimination Over Real Closed Fields.

Published in: FOCS (1997)

Keyphrases

quantifier elimination
constraint propagation
first order logic
cardinality constraints
presburger arithmetic
database systems
functional programming
artificial intelligence
high level
np hard