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.