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