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