Вернуться к Подробностям о статье Применение метода Монте-Карло к прогнозированию времени параллельного решения проблемы булевой выполнимости Скачать Скачать PDF