Sciweavers

CC
2005
Springer

Experiences with Enumeration of Integer Projections of Parametric Polytopes

13 years 9 months ago
Experiences with Enumeration of Integer Projections of Parametric Polytopes
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enumerator of a parametric polytope) is a function of the symbolic parameters that may appear in the constraints. In an extended problem (the “integer projection” of a parametric polytope), some of the variables that appear in the constraints may be existentially quantified and then the enumerated set corresponds to the projection of the integer points in a parametric polytope. This paper shows how to reduce the enumeration of the integer projection of parametric polytopes to the enumeration of parametric polytopes. Two approaches are described and experimentally compared. Both can solve problems that were considered very difficult to solve analytically.
Sven Verdoolaege, Kristof Beyls, Maurice Bruynoogh
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CC
Authors Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe, Francky Catthoor
Comments (0)