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