TY  - RPRT
TI  - Integer Linear-Exponential Programming in NP by Quantifier Elimination
AU  - Dmitry Chistikov
AU  - Alessio Mansutti
AU  - Mikhail R. Starchak
PY  - 2024
DO  - 10.4230/lipics.icalp.2024.132
UR  - https://arxiv.org/abs/2407.07083
ID  - 2407.07083
ER  -