TY  - RPRT
TI  - Speedups for Presburger Arithmetic and Real Closed Fields
AU  - Fedor Pakhomov
AU  - Julien Daoud
PY  - 2026
UR  - https://arxiv.org/abs/2603.00642
ID  - 2603.00642
ER  -