research
∙
05/09/2018
On the number of integer points in translated and expanded polyhedra
We prove that the problem of minimizing the number of integer points inp...
share
research
∙
05/09/2018
Presburger Arithmetic with algebraic scalar multiplications
We study complexity of integer sentences in S_α = (R, <, +,Z, x α x), wh...
research
∙
02/03/2018
Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination
We consider an expansion of Presburger arithmetic which allows multiplic...
research
∙
10/11/2017
VC-dimension of short Presburger formulas
We study VC-dimension of short formulas in Presburger Arithmetic, define...
research
∙
08/28/2017