An Efficient Quantifier Elimination Procedure for Presburger Arithmetic

Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
January 2024
PDF DOI
Type
Conference paper
Publication
International Colloquium on Automata, Languages, and Programming, ICALP