О. Заикин и А. Семенов, «Применение метода Монте-Карло к прогнозированию времени параллельного решения проблемы булевой выполнимости», Num. Meth. Prog., т. 15, вып. 39, сс. 22–35, янв. 2014.