You are currently offline. Some features of the site may not work correctly.

Corpus ID: 17428802

On Algorithmic and Heuristic Approaches to Integral Problems in the Polyhedron Model with Non-linear Parameters

@inproceedings{Schuster2007OnAA,
title={On Algorithmic and Heuristic Approaches to Integral Problems in the Polyhedron Model with Non-linear Parameters},
author={S. Schuster},
year={2007}
}

The polyhedron model provides one possible approach to model-based program analysis and transformation. Over the years, it has undergone many improvements in order to handle a still growing class of programs. A recent approach enabled the use of non-linear parameters, which was in that generality not possible before. While this new framework uses real quantifier elimination, the present work examines possibilities to describe the integral solutions to certain problems occurring in the… CONTINUE READING