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