Randomized Algorithms for 3-SAT

Thomas Hofmeister, Uwe Schöning, Rainer Schuler, Osamu Watanabe. Randomized Algorithms for 3-SAT. Theory Comput. Syst., 40(3):249-262, 2007. [doi]

Authors

Thomas Hofmeister

This author has not been identified. Look up 'Thomas Hofmeister' in Google

Uwe Schöning

This author has not been identified. Look up 'Uwe Schöning' in Google

Rainer Schuler

This author has not been identified. Look up 'Rainer Schuler' in Google

Osamu Watanabe

This author has not been identified. Look up 'Osamu Watanabe' in Google