Zaikin, O., and 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), vol. 15, no. 39, Jan. 2014, pp. 22-35, https://en.num-meth.ru/index.php/journal/article/view/746.