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