Title :
Least upper bounds on the sizes of symmetric variable order based OBDDs
Author :
Litan, Laura ; Molitor, Paul ; Möller, Dirk
Author_Institution :
Inst. of Comput. Sci., Martin-Luther-Univ., Halle-Wittenberg, Germany
Abstract :
This paper investigates the sizes of symmetric variable order based reduced binary decision diagrams for partially symmetric Boolean functions. It gives exact bounds for the maximum number of nonterminal vertices for the cases that the set of symmetric variables is treated as block which is located either at the front or at the back of the variable order
Keywords :
Boolean functions; decision theory; diagrams; graph theory; least upper bound; nonterminal vertices; partially symmetric Boolean function; reduced binary decision diagram; size; symmetric variable order based OBDD; Artificial intelligence; Boolean functions; Computer science; Data structures; Equations; Upper bound;
Conference_Titel :
VLSI, 1996. Proceedings., Sixth Great Lakes Symposium on
Conference_Location :
Ames, IA
Print_ISBN :
0-8186-7502-0
DOI :
10.1109/GLSV.1996.497607
