Loading…
An Approximative Criterion for the Potential of Energetic Reasoning
Berthold, Timo; Heinz, Stefan; Schulz, Jens
Preprint-Reihe des Instituts für Mathematik, Technische Universität Berlin
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.
