Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants.

Published in: Comput. J. (1993)

Keyphrases

quantifier elimination
quantifier free
constraint propagation
functional programming
cardinality constraints
first order logic
presburger arithmetic
constraint databases
computational complexity
mathematical model
databases
objective function
query evaluation
geographic information systems
rewrite systems