RUS  ENG
Полная версия
ЖУРНАЛЫ // Журнал Сибирского федерального университета. Серия «Математика и физика» // Архив
Журн. СФУ. Сер. Матем. и физ., 2021, том 14, выпуск 5, страницы 667–671 (Mi jsfu953)
Satisfiability in Boolean logic (SAT problem) is polynomial

[Проблема выполнимости формул в булевой логике (SAT) полиномиальна?]

Vladimir V. Rybakovab

a Siberian Federal University, Krasnoyarsk, Russian Federation
b A. P. Ershov Institute of Informatics Systems, Novosibirsk, Russian Federation

Аннотация: Находится полиномиальный алгоритм решающий проблему SAT в Булевой логике.

Ключевые слова: булева логика, проблема выполнимости, алгоритм SAT.

УДК: 512.54

Получена: 10.07.2021
Исправленный вариант: 10.08.2021
Принята: 21.08.2021

Язык публикации: английский

DOI: 10.17516/1997-1397-2021-14-5-667-671



Реферативные базы данных:

© МИАН, 2024