Elementary Bounds for Presburger Arithmetic

Published in: STOC (1973)

Keyphrases

presburger arithmetic
quantifier elimination
algebraic structure
lower bound
lower and upper bounds
decision procedures
constraint databases
constraint propagation
functional programming
cardinality constraints
database systems
constraint satisfaction problems
first order logic