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