direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Preprints 2010

An Approximative Criterion for the Potential of Energetic Reasoning
Zitatschlüssel Report-019-2010
Autor Timo Berthold and Stefan Heinz and Jens Schulz
Jahr 2010
Nummer 019
Institution Technische Universität Berlin, Institut für Mathematik
Zusammenfassung Energetic reasoning is one of the most powerful propagation algorithms in cumulative scheduling. In practice, however, it is commonly not used because it has a high running time and its success highly depends on the tightness of the variable bounds. In order to speed up energetic reasoning, we provide a necessary condition to detect infeasibilities, which can be tested efficiently. We present an implementation of energetic reasoning that employs this condition and that can be parametrically adjusted to handle the trade-off between solving time and propagation overhead. Computational results on instances from the PSPLib are provided. They show that using the condition decreases the running time by more than a half, although more search nodes need to be explored.
Typ der Publikation Preprint
Link zur Publikation Download Bibtex Eintrag