Title: Experiences with enumeration of integer projections of parametric polytopes
Authors: Verdoolaege, Sven ×
Beyls, Kristof
Bruynooghe, Maurice
Catthoor, Francky #
Issue Date: 2005
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:3443 pages:91-105
Conference: 14th International Conference on Compiler Construction location:Edinburgh, United Kingdom date:April 4-8, 2005
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
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
Associated Section of ESAT - INSYS, Integrated Systems
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
final.pdf Submitted 245KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science