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