Login / Signup

Complexity of short Presburger arithmetic.

Danny NguyenIgor Pak
Published in: STOC (2017)
Keyphrases
  • presburger arithmetic
  • quantifier elimination
  • computational complexity
  • artificial intelligence
  • high level
  • general purpose
  • linear programming
  • algebraic structure