Полные и стохастические неполные алгоритмы локального поиска для решения задачи булевой выполнимости. Модели преобразования операторов. Реализация решателя, применяющего модифицированный алгоритм gNovelty, расширенный на использование непрерывных форм.
27.09.2016 |
Информатика |
Программирование, компьютеры и кибернетика |
Язык: русский |
Просмотры: 39
