|
Интеллектуальные системы. Теория и приложения, 2019, том 23, выпуск 3, страницы 35–40
(Mi ista236)
|
|
|
|
Часть 2. Специальные вопросы теории интеллектуальных систем
О графовом расширении метода резолюции для булевых формул
Г. В. Боков
Аннотация:
В работе описывается новое расширение метода резолюции, использующее графовое представление опровержений булевых формул в конъюнктивной нормальной форме. Доказывается, что невыполнимость булевой формулы равносильна существованию для неё графового опровержения.
Ключевые слова:
Метод резолюции, графовые опровержения, невыполнимость, булевы формулы.
Образец цитирования:
Г. В. Боков, “О графовом расширении метода резолюции для булевых формул”, Интеллектуальные системы. Теория и приложения, 23:3 (2019), 35–40
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ista236 https://www.mathnet.ru/rus/ista/v23/i3/p35
|
Статистика просмотров: |
Страница аннотации: | 130 | PDF полного текста: | 34 | Список литературы: | 24 |
|