A Bibliography of Quantifier Elimination for Real Closed Fields.

Dennis S. Arnon

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

Keyphrases

quantifier elimination
first order logic
constraint propagation
presburger arithmetic
database
artificial intelligence
search algorithm
general purpose
cardinality constraints