Short Presburger Arithmetic Is Hard.

Danny Nguyen Igor Pak

Published in: FOCS (2017)

Keyphrases

presburger arithmetic
quantifier elimination
algebraic structure
constraint propagation
database
databases
artificial intelligence
bayesian networks
database design
first order logic