Zaikin, O.S., and A.A. Semenov. 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. https://en.num-meth.ru/index.php/journal/article/view/746.