On delineability of varieties in CAD-based quantifier elimination with two equational constraints.

Scott McCallum Christopher W. Brown

Published in: ISSAC (2009)

Keyphrases

quantifier elimination
cardinality constraints
quantifier free
first order logic
presburger arithmetic
constraint query languages
functional programming
constraint satisfaction
constraint databases
theorem proving
theorem prover
artificial intelligence
search algorithm
constraint programming
execution model