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]
@inproceedings{IwamaSTT10, title = {Improved Randomized Algorithms for 3-SAT}, author = {Kazuo Iwama and Kazuhisa Seto and Tadashi Takai and Suguru Tamaki}, year = {2010}, doi = {10.1007/978-3-642-17517-6_9}, url = {http://dx.doi.org/10.1007/978-3-642-17517-6_9}, researchr = {https://researchr.org/publication/IwamaSTT10}, cites = {0}, citedby = {0}, pages = {73-84}, booktitle = {Algorithms and Computation - 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I}, editor = {Otfried Cheong and Kyung-Yong Chwa and Kunsoo Park}, volume = {6506}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-17516-9}, }