Skip to content
  • Language
    • English
    • Русский

Advanced
  • Минимизация корня логического...
  • Cite this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Минимизация корня логического уравнения КНФ = 1

Минимизация корня логического уравнения КНФ = 1

Bibliographic Details
Published in:Материалы XI-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-27 мая 2024 г. С. 90-96
Main Author: Бирюков, Марк Олегович
Other Authors: Андреева, Валентина Валерьевна
Format: Book Chapter
Language:Russian
Subjects:
SAT-решатели
конъюнктивные нормальные формы
математическое моделирование
статьи в сборниках
Online Access:https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001151793
Перейти в каталог НБ ТГУ
  • Holdings
  • Description
  • Similar Items
  • Staff View
Description
Bibliography:Библиогр.: 7 назв.
ISBN:9785907890152

Similar Items

  • Экспериментальное исследование решателя MiniSat
    by: Кидярова, Галина Владимировна
  • Метод исключения переменной из КНФ Цейтина
    by: Тычинский, Вячеслав Зиновьевич
  • Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости
    by: Пашкова, Наталья Николаевна
  • Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы
    by: Тычинский, Вячеслав Зиновьевич
  • Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
    by: Голубева, Ольга Ивановна
|   Advanced Search   |   Search Tips   |

Большой университет Томска
https://university-tomsk.ru/
Loading...