Thomas Hofmeister Uwe Schöning Rainer Schuler Osamu Watanabe A Probabilistic 3-SAT Algorithm Further Improved. 192-202 2002 conf/stacs/2002 STACS http://link.springer.de/link/service/series/0558/bibs/2285/22850192.htm db/conf/stacs/stacs2002.html#HofmeisterSSW02