Заикин, О. и Семенов, А. (2014) «Применение метода Монте-Карло к прогнозированию времени параллельного решения проблемы булевой выполнимости», Вычислительные методы и программирование, 15(39), сс. 22–35. доступно на: https://num-meth.ru/index.php/journal/article/view/746 (просмотрено: 29 апрель 2024).