Quantifier Elimination for Quartics.

Lu Yang Bican Xia

Published in: AISC (2006)

Keyphrases

quantifier elimination
constraint propagation
presburger arithmetic
functional programming
first order logic
constraint databases
cardinality constraints
constraint query languages
linear programming
expressive power