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