Показать сокращенную информацию

Rybakov, Vladimir V.en
Рыбаков, Владимир В.ru_RU
2021-09-21T02:21:12Z
2021-09-21T02:21:12Z
2021-10
https://elib.sfu-kras.ru/handle/2311/143750
We find a polynomial algorithm to solve SAT problem in Boolean Logicen
Находится полиномиальный алгоритм решающий проблему SAT в Булевой логикуеru_RU
enen
Сибирский федеральный университет. Siberian Federal Universityen
Boolean Logicen
Satisfiability Problemen
SAT algorithmen
булева логикаru_RU
проблема выполнимостиru_RU
алгоритм SATru_RU
Satisfiability in Boolean Logic (SAT problem) is polynomial?en
Проблема выполнимости формул в булевой логике (SAT) полиномиальнаru_RU
Journal Articleen
Rybakov, Vladimir V.: Siberian Federal University Krasnoyarsk, Russian Federation A.P. Ershov Institute of Informatics Systems Novosibirsk, Russian Federation; Vladimir_Rybakov@mail.ruen
Рыбаков, Владимир В.: Сибирский федеральный университет Красноярск, Российская Федерация; Институт систем информатики им. А. П. Ершова Новосибирск, Российская Федерацияru_RU
667–671ru_RU
10.17516/1997-1397-2021-14-5-667-671
Журнал Сибирского федерального университета. Математика и физика, 2021. Journal of Siberian Federal University. Mathematics & Physics, 2021, 14 (5)en


Файлы в этом документе

Thumbnail

Данный элемент включен в следующие коллекции

Показать сокращенную информацию