Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Uwe Schöning and Rainer Schuler and Thomas Hofmeister and Osamu Watanabe,A Probabilistic 3—SAT Algorithm Further Improved,,,Springer Berlin Heidelberg,2002-01-01,,,,https://cir.nii.ac.jp/crid/1872835442657943040,https://doi.org/10.1007/3-540-45841-7_15