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