Partial Cylindrical Algebraic Decomposition for Quantifier Elimination.

George E. Collins Hoon Hong

Published in: J. Symb. Comput. (1991)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
first order logic
cardinality constraints
constraint databases
algebraic structure
artificial intelligence
expressive power
execution model