
On the number of integer points in translated and expanded polyhedra
We prove that the problem of minimizing the number of integer points inp...
read it

Presburger Arithmetic with algebraic scalar multiplications
We study complexity of integer sentences in S_α = (R, <, +,Z, x α x), wh...
read it

Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination
We consider an expansion of Presburger arithmetic which allows multiplic...
read it

VCdimension of short Presburger formulas
We study VCdimension of short formulas in Presburger Arithmetic, define...
read it

Short Presburger arithmetic is hard
We study the computational complexity of short sentences in Presburger a...
read it
Danny Nguyen
is this you? claim profile