Zaikin O, Semenov A. Application of the Monte Carlo method for estimating the total time of solving the SAT problem in parallel. Num. Meth. Prog. [Internet]. 2014 Jan. 23 [cited 2024 Apr. 29];15(39):22-35. Available from: https://en.num-meth.ru/index.php/journal/article/view/746