ZAIKIN, O.; SEMENOV, A. Application of the Monte Carlo method for estimating the total time of solving the SAT problem in parallel. Numerical Methods and Programming (Vychislitel’nye Metody i Programmirovanie), [S. l.], v. 15, n. 39, p. 22–35, 2014. Disponível em: https://en.num-meth.ru/index.php/journal/article/view/746. Acesso em: 30 apr. 2024.