Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемы
Published in: | Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г. С. 72-73 |
---|---|
Main Author: | |
Other Authors: | |
Format: | Book Chapter |
Language: | Russian |
Subjects: | |
Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000926978 Перейти в каталог НБ ТГУ |