@InProceedings{haase_et_al_LIPIcs.ICALP.2024.142,
author = {Haase, Christoph and Krishna, Shankara Narayanan and Madnani, Khushraj and Mishra, Om Swostik and Zetzsche, Georg},
title = {{An Efficient Quantifier Elimination Procedure for Presburger Arithmetic}},
booktitle = {51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)},
pages = {142:1--142:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
isbn = {978-3-95977-322-5},
issn = {1868-8969},
year = {2024},
volume = {297},
editor = {Bringmann, Karl and Grohe, Martin and Puppis, Gabriele and Svensson, Ola},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2024.142},
urn = {urn:nbn:de:0030-drops-202856},
doi = {10.4230/LIPIcs.ICALP.2024.142},
annote = {Keywords: Presburger arithmetic, quantifier elimination, parametric integer programming, convex geometry},
date-added = {2024-7-5 7:44:26 +0100}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
