Improved Randomized Algorithms for 3-SAT. - Kazuo Iwama; Kazuhisa Seto; Tadashi Takai; Suguru Tamaki (ISAAC (1), 2010)