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