%0 Conference Paper %1 conf/isaac/IwamaSTT10 %A Iwama, Kazuo %A Seto, Kazuhisa %A Takai, Tadashi %A Tamaki, Suguru %B ISAAC (1) %D 2010 %E Cheong, Otfried %E Chwa, Kyung-Yong %E Park, Kunsoo %I Springer %K dblp %P 73-84 %T Improved Randomized Algorithms for 3-SAT. %U http://dblp.uni-trier.de/db/conf/isaac/isaac2010-1.html#IwamaSTT10 %V 6506 %@ 978-3-642-17516-9

@inproceedings{conf/isaac/IwamaSTT10, added-at = {2023-09-30T00:00:00.000+0200}, author = {Iwama, Kazuo and Seto, Kazuhisa and Takai, Tadashi and Tamaki, Suguru}, biburl = {https://www.bibsonomy.org/bibtex/2dd82221c8822356a636f16643630d687/dblp}, booktitle = {ISAAC (1)}, crossref = {conf/isaac/2010-1}, editor = {Cheong, Otfried and Chwa, Kyung-Yong and Park, Kunsoo}, ee = {https://doi.org/10.1007/978-3-642-17517-6_9}, interhash = {5bcb4a31d70cfc146eff1dc9a74c4a30}, intrahash = {dd82221c8822356a636f16643630d687}, isbn = {978-3-642-17516-9}, keywords = {dblp}, pages = {73-84}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:22:13.000+0200}, title = {Improved Randomized Algorithms for 3-SAT.}, url = {http://dblp.uni-trier.de/db/conf/isaac/isaac2010-1.html#IwamaSTT10}, volume = 6506, year = 2010 }