On the Decidability of Presburger Arithmetic Expanded with Powers.

Toghrul Karimov, Florian Luca, Joris Nieuwveld, Jol Ouaknine, James Worrell

Browse the full SODA paper archive.