Сибирский федеральный университет 
- Номер
- Журнал СФУ. Математика и физика. 2021 14 (5)
- Авторы
- Рыбаков, Владимир В.
- Контактная информация
- Рыбаков, Владимир В.: Сибирский федеральный университет Красноярск, Российская Федерация; Институт систем информатики им. А. П. Ершова Новосибирск, Российская Федерация
- Ключевые слова
- Boolean Logic; Satisfiability Problem; SAT algorithm; булева логика; проблема выполнимости; алгоритм SAT
- Аннотация
Находится полиномиальный алгоритм решающий проблему SAT в Булевой логикуе
- Страницы
- 667–671
- DOI
- 10.17516/1997-1397-2021-14-5-667-671
- Статья в архиве электронных ресурсов СФУ
- https://elib.sfu-kras.ru/handle/2311/143750
Журнал СФУ. Математика и физика / Проблема выполнимости формул в булевой логике (SAT) полиномиальна
Полный текст (.pdf)