An efficient quantifier elimination procedure for Presburger arithmetic

DOI10.4230/LIPICS.ICALP.2024.142MaRDI QIDQ6875036zbMATH OpenFDO

Authors Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche

Publication date 14 January 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

convex geometryquantifier eliminationPresburger arithmeticparametric integer programming

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

This page was built for publication: An efficient quantifier elimination procedure for Presburger arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6875036)