Parametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior

Tristram Bogart, John Goodrick, Kevin Woods

Parametric Presburger arithmetic concerns families of sets S_t in Z^d, for t in N, that are defined using addition, inequalities, constants in Z, Boolean operations, multiplication…