TY  - RPRT
TI  - Presburger Functional Synthesis: Complexity and Tractable Normal Forms
AU  - S. Akshay
AU  - A. R. Balasubramanian
AU  - Supratik Chakraborty
AU  - Georg Zetzsche
PY  - 2025
UR  - https://arxiv.org/abs/2508.07207
ID  - 2508.07207
ER  -