Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy.

Christoph Haase

Published in: CoRR (2014)

Keyphrases

presburger arithmetic
quantifier elimination
algebraic structure
decision procedures
constraint propagation
first order logic
constraint databases
databases
artificial intelligence
search algorithm
general purpose
user defined
theorem proving
model theoretic
cardinality constraints