Subclasses of presburger arithmetic and the weak EXP hierarchy.

Christoph Haase

Published in: CSL-LICS (2014)

Keyphrases

presburger arithmetic
quantifier elimination
algebraic structure
constraint propagation
decision procedures
functional programming
constraint databases
high level
bayesian networks
data management
first order logic
constraint satisfaction
cardinality constraints