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