Complexity of short Presburger arithmetic.

Danny Nguyen Igor Pak

Published in: CoRR (2017)

Keyphrases

presburger arithmetic
computational complexity
search space
quantifier elimination
database
satisfiability problem
algebraic structure