ЗАИКИН, О.; СЕМЕНОВ, А. Применение метода Монте-Карло к прогнозированию времени параллельного решения проблемы булевой выполнимости. Вычислительные методы и программирование, [S. l.], v. 15, n. 39, p. 22–35, 2014. Disponível em: https://num-meth.ru/index.php/journal/article/view/746. Acesso em: 29 апр. 2024.