Тип публикации: статья из журнала
Год издания: 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)
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.