Short Presburger arithmetic is hard.

Danny Nguyen Igor Pak

Published in: CoRR (2017)

Keyphrases

presburger arithmetic
quantifier elimination
algebraic structure
expert systems
constraint propagation
cardinality constraints
database
decision procedures