POSYPKIN, Mikhail; SEMENOV, Alexander; ZAIKIN, Oleg. USING BOINC DESKTOP GRID TO SOLVE LARGE SCALE SAT PROBLEMS. Computer Science, [S. l.], v. 13, n. 1, p. 25, 2012. DOI: 10.7494/csci.2012.13.1.25. Disponível em: https://journals.agh.edu.pl/csci/article/view/37. Acesso em: 8 apr. 2025.