О графовом расширении метода резолюции для булевых формулстатья

Статья опубликована в журнале из перечня ВАК

Работа с статьей


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

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть