6 citations · 8 across the 15 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.LO2025
Optimization Modulo Integer Linear-Exponential Programs
S Hitarth, Alessio Mansutti, Guruprerana Shabadi
This paper presents the first study of the complexity of the optimization problem for integer linear-exponential programs which extend classical integer linear programs with the ex…
cs.LO2025
One-Parametric Presburger Arithmetic has Quantifier Elimination
Alessio Mansutti, Mikhail R. Starchak
We give a quantifier elimination procedure for one-parametric Presburger arithmetic, the extension of Presburger arithmetic with the function , where is a…
cs.LO2025
On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
Jorge Gallego-Hernández, Alessio Mansutti
This paper investigates , that is the extension of the existential theory of the reals by an additional unary predicate for the…