Поиск ложных путей в логических схемах из двухвходовых вентилей с использованием операций над ROBDD-графами

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