On propagation of equational constraints in CAD-based quantifier elimination.

Published in: ISSAC (2001)

Keyphrases

quantifier elimination
cardinality constraints
quantifier free
first order logic
constraint propagation
constraint query languages
presburger arithmetic
constraint databases
computer graphics
constraint programming
functional programming
constraint satisfaction
theorem prover