|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
О графовом расширении метода резолюции для булевых формулстатья
- Автор: Боков Г.В.
- Журнал: Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460)
- Том: 23
- Номер: 3
- Год издания: 2019
- Издательство: [б.и.]
- Местоположение издательства: М.
- Первая страница: 35
- Последняя страница: 40
- Аннотация: В работе описывается новое расширение метода резолюции, использующее графовое представление опровержений булевых формул в конъюнктивной нормальной форме. Доказывается, что невыполнимость булевой формулы равносильна существованию для неё графового опровержения.
- Добавил в систему: Боков Григорий Владимирович