Normal view
MARC view
Построение множества всех достижимых реакций комбинационных схем В. А. Провкин
Material type: ArticleContent type: Текст Media type: электронный Subject(s): ROBDD-графы | комбинационные логические схемы | КНФ разрешения | SAT-решателиGenre/Form: статьи в сборниках Online resources: Click here to access online In: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г С. 99-108No physical items for this record
Библиогр.: 6 назв.
There are no comments on this title.