Login / Signup

The Complexity of Presburger Arithmetic with Power or Powers.

Michael BenediktDmitry ChistikovAlessio Mansutti
Published in: ICALP (2023)
Keyphrases
  • presburger arithmetic
  • computational complexity
  • general purpose
  • algebraic structure
  • bayesian networks
  • quantifier elimination