Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемы

Авторы автор Провкин В. А. (Аспирант), автор Матросова А. Ю. (Сотрудник)
Тип Статья в сборнике материалов конференций, симпозиумов и др.
Год 2022
Язык русский
Отдел Институт прикладной математики и компьютерных наук, кафедра компьютерной безопасности (ИПМКН)
Библиографическая запись Провкин В.А., Матросова А.Ю. Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемы // Новые информационные технологии в исследовании сложных структур: материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г. Томск: Изд. дом Том. гос. ун-та, 2022. С. 72‒73.
Направление науки
УДК