Satisfiability in Boolean Logic (SAT problem) is polynomial?
View/
URI (for links/citations):
https://elib.sfu-kras.ru/handle/2311/143750Date:
2021-10Journal Name:
Журнал Сибирского федерального университета. Математика и физика, 2021. Journal of Siberian Federal University. Mathematics & Physics, 2021, 14 (5)Abstract:
We find a polynomial algorithm to solve SAT problem in Boolean Logic Находится полиномиальный алгоритм решающий проблему SAT в Булевой логикуе