Daniel Rolf Improved Bound for the PPSZ/Schöning-Algorithm for 3-SAT. 111-122 2006 1 JSAT 2 http://jsat.ewi.tudelft.nl/content/volume1/JSAT1_5_Rolf.pdf db/journals/jsat/jsat1.html#Rolf06