%0 Journal Article
%A O. S. Zaikin
%A A. A. Semenov
%T Application of the Monte Carlo method for estimating the total time of solving the SAT problem in parallel
%J Numerical methods and programming
%D 2014
%P 22-35
%V 15
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMP_2014_15_1_a2/
%G ru
%F VMP_2014_15_1_a2