Posypkin, M., Semenov, A., & Zaikin, O. (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