Заикин О, Семенов А. Применение метода Монте-Карло к прогнозированию времени параллельного решения проблемы булевой выполнимости. Num. Meth. Prog. [Интернет]. 23 январь 2014 г. [цитируется по 29 апрель 2024 г.];15(39):22-35. доступно на: https://num-meth.ru/index.php/journal/article/view/746