|
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.
Получена: 10.07.2021 Исправленный вариант: 10.08.2021 Принята: 21.08.2021
Образец цитирования:
Vladimir V. Rybakov, “Satisfiability in Boolean logic (SAT problem) is polynomial”, Журн. СФУ. Сер. Матем. и физ., 14:5 (2021), 667–671
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/jsfu953 https://www.mathnet.ru/rus/jsfu/v14/i5/p667
|
Статистика просмотров: |
Страница аннотации: | 110 | PDF полного текста: | 40 | Список литературы: | 22 |
|