TY  - RPRT
TI  - On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
AU  - Piotr Bacik
AU  - Joris Nieuwveld
AU  - Joël Ouaknine
AU  - Mihir Vahanwala
AU  - Madhavan Venkatesh
AU  - Emil Rugaard Wieser
PY  - 2026
UR  - https://arxiv.org/abs/2605.16985
ID  - 2605.16985
ER  -