View of Application of the Monte Carlo method for estimating the total time of solving the SAT problem in parallel

Return to Article Details Application of the Monte Carlo method for estimating the total time of solving the SAT problem in parallel Download Download PDF