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