1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал Сибирского федерального университета. Математика и физика
  5. Выпуск 2021 г. Том 14. № 5

Satisfiability in Boolean Logic (SAT problem) is polynomial?
статья из журнала

Полный текстЗаказать копию статьи
База данных: Каталог библиотеки СФУ (R 98)
Библиографическое описание: Rybakov, Vladimir. Satisfiability in Boolean Logic (SAT problem) is polynomial? = Проблема выполнимости формул в булевой логике (SAT) полиномиальна / V. V. Rybakov. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2021. - Т. 14, № 5. - С. 667-671. - Библиогр.: с. 670-671. - ISSN 1997-1397.
Аннотация: Находится полиномиальный алгоритм решающий проблему SAT в Булевой логике.
Год издания: 2021
Авторы: Rybakov Vladimir
Источник: Журнал Сибирского федерального университета. Математика и физика
Выпуск: Т. 14, № 5
Номера страниц: 667-671
Количество экземпляров:

Всего свободно 3 из 3 экземпляров.

  • Информационно-библиографический отдел (пр. Свободный, 79, к. Б3-09): свободно 1 из 1 экземпляров
  • Читальный зал (пер. Вузовский, 6Д): свободно 1 из 1 экземпляров
  • Информационно-библиографический отдел (ул. Лиды Прушинской, 2, к. 3-06): свободно 1 из 1 экземпляров