Вісник № 33
Постійне посилання зібрання
Переглянути
Перегляд Вісник № 33 за Ключові слова "clause"
Зараз показуємо 1 - 1 з 1
Результатів на сторінці
Налаштування сортування
Документ Оптимизация алгоритма резолюции в логике высказываний при помощи 0,1-ного представления дизъюнктов(НТУ "ХПИ", 2012) Волченко, М. В.Работа посвящена решению задачи проверки выполнимости формул логики высказываний, характеризующихся большой мощностью. Предложено 0,1-ное представление дизъюнктов и матричная структура представления связей дизъюнктов, для которых разработан алгоритм резолюции с эвристической функцией выбора связи для резольвирования. Приведены результаты экспериментальных исследований, подтверждающие эффективность предложенного алгоритма.