Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination

Tristram Bogart, John Goodrick, Danny Nguyen +1

We consider an expansion of Presburger arithmetic which allows multiplication by $k$ parameters $t_1,\dots ,t_k$. A formula in this language defines a parametric set $S_\mathbf{t}…