Vorhersage der parallelen Beschleunigung von SAT-Lokalsuche-Algorithmen durch Analyse der sequenziellen Laufzeitverteilungen

Durch Approximation der Laufzeitverteilung des sequenziellen Prozesses mit statistischen Methoden kann das Laufzeitverhalten des parallelen Prozesses durch ein auf Ordnungsstatistik basierendes Modell vorhergesagt werden.