Integer Linear-Exponential Programming in NP by Quantifier Elimination.

Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak

Browse the full ICALP paper archive.