On the Combinatorial and Algebraic Complexity of Quantifier Elimination

Saugata Basu Richard Pollack Marie-Françoise Roy

Published in: FOCS (1994)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
first order logic
constraint databases
databases
machine learning
cardinality constraints
functional programming
expert systems
query processing
software engineering
constraint satisfaction problems