Zaikin, O. and 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), pp. 22–35. Available at: https://en.num-meth.ru/index.php/journal/article/view/746 (Accessed: 29 April 2024).