Improved Randomized Algorithms for 3-SAT

Kazuo Iwama, Kazuhisa Seto, Tadashi Takai, Suguru Tamaki. Improved Randomized Algorithms for 3-SAT. In Otfried Cheong, Kyung-Yong Chwa, Kunsoo Park, editors, Algorithms and Computation - 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I. Volume 6506 of Lecture Notes in Computer Science, pages 73-84, Springer, 2010. [doi]

Authors

Kazuo Iwama

This author has not been identified. Look up 'Kazuo Iwama' in Google

Kazuhisa Seto

This author has not been identified. Look up 'Kazuhisa Seto' in Google

Tadashi Takai

This author has not been identified. Look up 'Tadashi Takai' in Google

Suguru Tamaki

This author has not been identified. Look up 'Suguru Tamaki' in Google