Zaikin, O. and Semenov, A. 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 (Jan. 2014), 22–35.