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. 2014, 15, 22-35.