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