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