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