Zaikin, O., & Semenov, A. (2014). 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), 15(39), 22–35. Retrieved from https://en.num-meth.ru/index.php/journal/article/view/746