In einem anderen Thread fragte Joe Fitzsimons nach "den derzeit besten Untergrenzen für 3SAT".
Ich mag den anderen Weg gehen: Was ist die besten aktuellen oberen Schranken für 3SAT? Mit anderen Worten, was ist die zeitliche Komplexität des effizientesten SAT-Lösers?
Ist es insbesondere denkbar, einen subexponentiellen (aber superpolynomiellen) Algorithmus für SAT zu finden?