@article{VMP_2014_15_1_a2, author = {O. S. Zaikin and A. A. Semenov}, title = {Application of the {Monte} {Carlo} method for estimating the total time of solving the {SAT} problem in parallel}, journal = {Numerical methods and programming}, pages = {22--35}, publisher = {mathdoc}, volume = {15}, number = {1}, year = {2014}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/VMP_2014_15_1_a2/} }