Disjunctive and conjunctive decompositions of incompletely defined Boolean functions in a Binary Decision Diagram

Objectives. The problems of minimizing the number of cofactors (subfunctions) of the Shannon expansions located at the same level of the BDD, representing a system of incompletely defined (partial) Boolean functions, are considered. To reduce the number of functions, it is proposed to find a subset...

Celý popis

Podrobná bibliografie

Vydáno v:	Informatika (Minsk, Belarus) Ročník 22; číslo 1; s. 40 - 65
Hlavní autor:	Bibilo, P. N.
Médium:	Journal Article
Jazyk:	angličtina ruština
Vydáno:	National Academy of Sciences of Belarus, the United Institute of Informatics Problems 31.03.2025
Témata:	additional definition of a partial boolean function algebraic decompositions of boolean functions binary decision diagram sat-problem shannon expansion system of partial boolean functions
ISSN:	1816-0301, 2617-6963
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!