Posypkin M, Semenov A, Zaikin O. USING BOINC DESKTOP GRID TO SOLVE LARGE SCALE SAT PROBLEMS. csci [Internet]. 2012 Feb. 8 [cited 2025 Apr. 6];13(1):25. Available from: https://journals.agh.edu.pl/csci/article/view/37