POSYPKIN, M.; SEMENOV, A.; ZAIKIN, O. 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: 18 apr. 2024.