Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition: a synopsis.

George E. Collins

Published in: SIGSAM Bull. (1976)

Keyphrases

quantifier elimination
functional programming
constraint propagation
presburger arithmetic
data streams
cardinality constraints
data structure
data distribution
constraint databases
first order logic
integrity constraints