1 citations · 1 across the 2 of their papers we have counts for
2 papers
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.LO2024★ 1 cited
Integer Linear-Exponential Programming in NP by Quantifier Elimination
Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak
This paper provides an NP procedure that decides whether a linear-exponential system of constraints has an integer solution. Linear-exponential systems extend standard integer line…