| Author | Rybakov, Vladimir V. | en |
| Author | Рыбаков, Владимир В. | ru_RU |
| Accessioned Date | 2021-09-21T02:21:12Z | |
| Available Date | 2021-09-21T02:21:12Z | |
| Issued Date | 2021-10 | |
| URI (for links/citations) | https://elib.sfu-kras.ru/handle/2311/143750 | |
| Abstract | We find a polynomial algorithm to solve SAT problem in Boolean Logic | en |
| Abstract | Находится полиномиальный алгоритм решающий проблему SAT в Булевой логикуе | ru_RU |
| Language | en | en |
| Publisher | Сибирский федеральный университет. Siberian Federal University | en |
| Subject | Boolean Logic | en |
| Subject | Satisfiability Problem | en |
| Subject | SAT algorithm | en |
| Subject | булева логика | ru_RU |
| Subject | проблема выполнимости | ru_RU |
| Subject | алгоритм SAT | ru_RU |
| Title | Satisfiability in Boolean Logic (SAT problem) is polynomial? | en |
| Alternative Title | Проблема выполнимости формул в булевой логике (SAT) полиномиальна | ru_RU |
| Type | Journal Article | en |
| Contacts | Rybakov, Vladimir V.: Siberian Federal University Krasnoyarsk, Russian Federation A.P. Ershov Institute of Informatics Systems Novosibirsk, Russian Federation; Vladimir_Rybakov@mail.ru | en |
| Contacts | Рыбаков, Владимир В.: Сибирский федеральный университет Красноярск, Российская Федерация; Институт систем информатики им. А. П. Ершова Новосибирск, Российская Федерация | ru_RU |
| Pages | 667–671 | ru_RU |
| DOI | 10.17516/1997-1397-2021-14-5-667-671 | |
| Journal Name | Журнал Сибирского федерального университета. Математика и физика, 2021. Journal of Siberian Federal University. Mathematics & Physics, 2021, 14 (5) | en |
