Показать сокращенную информацию
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 |
