Integer linear-exponential programming in NP by quantifier elimination

DOI10.4230/LIPICS.ICALP.2024.132MaRDI QIDQ6875049zbMATH OpenFDO

Authors Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak

Publication date 14 January 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

integer programmingdecision proceduresquantifier elimination

Mathematics Subject Classification ID

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

This page was built for publication: Integer linear-exponential programming in NP by quantifier elimination

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