Satisfiability in Boolean Logic (SAT problem) is Polynomial : научное издание

Описание

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

Год издания: 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)