Исследование непрерывных форм булевых формул

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

27.09.2016 | Информатика | Программирование, компьютеры и кибернетика | Язык: русский | Просмотры: 39