TY  - RPRT
TI  - An efficient quantifier elimination procedure for Presburger arithmetic
AU  - Christoph Haase
AU  - Shankara Narayanan Krishna
AU  - Khushraj Madnani
AU  - Om Swostik Mishra
AU  - Georg Zetzsche
PY  - 2024
UR  - https://arxiv.org/abs/2405.01183
ID  - 2405.01183
ER  -