Weak quantifier elimination for the full linear theory of the integers.

Aless Lasaruk Thomas Sturm

Published in: Appl. Algebra Eng. Commun. Comput. (2007)

Keyphrases

quantifier elimination
presburger arithmetic
quantifier free
constraint query languages
boolean algebra
cardinality constraints
constraint databases
constraint propagation
functional programming
first order logic
database
machine learning
database systems
programming language
dynamical systems
linear constraints