Weak Integer Quantifier Elimination Beyond the Linear Case.

Aless Lasaruk Thomas Sturm

Published in: CASC (2007)

Keyphrases

quantifier elimination
constraint query languages
constraint databases
presburger arithmetic
constraint propagation
databases
cardinality constraints
database
general purpose
first order logic
functional programming