Zaikin, O.S., and A.A. Semenov. “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, no. 39 (January 23, 2014): 22–35. Accessed April 29, 2024. https://en.num-meth.ru/index.php/journal/article/view/746.