Posypkin, Mikhail, Alexander Semenov, and Oleg Zaikin. “USING BOINC DESKTOP GRID TO SOLVE LARGE SCALE SAT PROBLEMS”. Computer Science 13, no. 1 (February 8, 2012): 25. Accessed April 25, 2024. https://journals.agh.edu.pl/csci/article/view/37.