Enumeration of Integer Points in Projections of Unbounded Polyhedra

Abstract

We extend the Barvinok–Woods algorithm for enumeration of integer points in projections of polytopes to unbounded polyhedra. For this, we obtain a new structural result on projections of semilinear subsets of the integer lattice. We extend the results to general formulas in Presburger Arithmetic. We also give an application to the k-Frobenius problem.

DOI: 10.1007/978-3-319-59250-3_34

1 Figure or Table

Cite this paper

@inproceedings{Nguyen2017EnumerationOI, title={Enumeration of Integer Points in Projections of Unbounded Polyhedra}, author={Danny Nguyen and Igor Pak}, booktitle={IPCO}, year={2017} }