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