Posypkin, Mikhail, Alexander Semenov, and Oleg Zaikin. 2012. “USING BOINC DESKTOP GRID TO SOLVE LARGE SCALE SAT PROBLEMS”. Computer Science 13 (1):25. https://doi.org/10.7494/csci.2012.13.1.25.