O. Zaikin and A. Semenov, “Application of the Monte Carlo method for estimating the total time of solving the SAT problem in parallel”, Num. Meth. Prog., vol. 15, no. 39, pp. 22–35, Jan. 2014.