Тип публикации: статья из журнала

Год издания: 2021

Идентификатор DOI: 10.17516/1997-1397-2021-14-5-667-671

Ключевые слова: булева логика, проблема выполнимости, алгоритм SAT, Boolean logic, satisfiability problem, SAT algorithm

Аннотация: We find a polynomial algorithm to solve SAT problem in Boolean Logic. Находится полиномиальный алгоритм решающий проблему SAT в Булевой логикуе. We find a polynomial algorithm to solve SAT problem in Boolean Logic. © Siberian Federal University. All rights reserved.

Журнал: Журнал Сибирского федерального университета. Серия: Математика и физика

Выпуск журнала: Т. 14, № 5

Номера страниц: 667-671

ISSN журнала: 19971397

Место издания: Красноярск

Издатель: Сибирский федеральный университет

• Rybakov Vladimir V. (Siberian Fed Univ, Krasnoyarsk, Russia; AP Ershov Inst Informat Syst, Novosibirsk, Russia)

• Web of Science Core Collection
• Scopus
• Ядро РИНЦ (eLIBRARY.RU)