On the Combinatorial and Algebraic Complexity of Quantifier Elimination.

Saugata Basu Richard Pollack Marie-Françoise Roy

Published in: J. ACM (1996)

Keyphrases

quantifier elimination
constraint propagation
functional programming
presburger arithmetic
cardinality constraints
constraint databases
computational complexity
first order logic
artificial intelligence
data streams