Im schlimmsten Fall benötigt die Boolesche Erfüllbarkeit (unter der Annahme von P! = NP) exponentielle Zeit. Dennoch können moderne SAT-Löser, die Varianten von DPLL verwenden, genügend Instanzen lösen, um in der Praxis nützlich zu sein.
Eine verwendete Technik, die in der Praxis gute Ergebnisse gezeigt hat, ist der zufällige Neustart. Intuitiv bedeutet zufälliger Neustart, dass die Wahrscheinlichkeit größer ist, die richtigen Variablenzuweisungen zu erraten, die zu einer schnellen Lösung führen würden.
Dieselbe Intuition legt nahe, dass dies viel effektiver sein sollte, wenn die Probleminstanz tatsächlich zufriedenstellend ist (Sie müssen also nur eine Reihe von Variablenzuweisungen erraten, die eine Lösung darstellen), als wenn dies nicht der Fall ist (im Prinzip müssen Sie also alle möglichen Punkte überprüfen Zuweisungen sowieso, Modulo-Abschnitte des Suchraums, die über Techniken wie Einheitenausbreitung und nicht chronologisches Backtracking übersprungen werden können, die zumindest offensichtlich nicht empfindlich auf die anfänglichen Vermutungen reagieren).
Ist die zweite Intuition richtig? Sind zufällige Neustarts im Durchschnitt tatsächlich viel effektiver, wenn die Probleminstanz tatsächlich zufriedenstellend ist?