Posypkin, M.; Semenov, A.; Zaikin, O. USING BOINC DESKTOP GRID TO SOLVE LARGE SCALE SAT PROBLEMS. csci 2012, 13 (1), 25. https://doi.org/10.7494/csci.2012.13.1.25.