Thomas Hofmeister Uwe Schöning Rainer Schuler Osamu Watanabe Randomized Algorithms for 3-SAT. 249-262 2007 40 Theory Comput. Syst. 3 http://dx.doi.org/10.1007/s00224-005-1275-6 db/journals/mst/mst40.html#HofmeisterSSW07