most citedParametric Presburger arithmetic: logic, combinatorics, and quasi-polynomial behavior

2 citations · 2 across the 2 of their papers we have counts for

collaborators

2 papers

math.CO2023

An Ehrhart theoretic approach to generalized Golomb rulers

Tristram Bogart, Daniel Felipe Cuéllar

A Golomb ruler is a sequence of integers whose pairwise differences, or equivalently pairwise sums, are all distinct. This definition has been generalized in various ways to allow…

math.CO2016★ 2 cited

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…