Universal decomposition rule for OBDD, OFDD, and 0-sup-BDDMeolic, Robert (Avtor)
Brezočnik, Zmago (Avtor)
Binary Decision DiagramShannon's expansionReed–Muller expansionDavio expansionDigital Circuit DesignBinary decision diagram (BDD) is a very successful data structure for
representation and manipulation of Boolean functions. Various BDD types
have been proposed. In this paper relations between OBDD, OFDD, and
0-sup-BDD are shown in a new way. An universal decomposition rule for them
is introduced. Using this rule a set of 288 BDD types is defined
together with their minimization rules.
NOTE: This is a revisited and translated version of the paper: "Splošno razčlenitveno pravilo za OBDD, OFDD in 0-sup-BDD". In Proceedings of the Fifth Electrotechnical and Computer Science Conference ERK'96, Portorož, Slovenia, volume B, pages 11-14, September 1996.Univerza v Mariboru20162016-09-28 14:02:54Delo ni kategorizirano64403sl