Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions

  title={Counting Integer Points in Parametric Polytopes Using Barvinok's Rational Functions},
  author={Sven Verdoolaege and Rachid Seghir and Kristof Beyls and Vincent Loechner and Maurice Bruynooghe},
Many compiler optimization techniques depend on the ability to calculate the number of elements that satisfy certain conditions. If these conditions can be represented by linear constraints, then such problems are equivalent to counting the number of integer points in (possibly) parametric polytopes. It is well known that the enumerator of such a set can be represented by an explicit function consisting of a set of quasi-polynomials, each associated with a chamber in the parameter space… CONTINUE READING
Highly Cited
This paper has 135 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 84 extracted citations

135 Citations

Citations per Year
Semantic Scholar estimates that this publication has 135 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 53 references

The Omega calculator and library

  • W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpeisman, D. Wo nnacott
  • Technical report, University of Maryland,
  • 1996
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…