Title :
Partial binary decision diagrams
Author :
Townsend, Whitney J. ; Thornton, Mitchell A.
Author_Institution :
Mississippi State Univ., MS, USA
Abstract :
Decision diagrams provide compact representations for discrete functions. There are some functions for which binary decision diagrams reach exponential size. Presented here is a method of representing Boolean functions as multiple partial decision diagrams.
Keywords :
Boolean functions; binary decision diagrams; directed graphs; Boolean functions; compact representations; discrete functions; partial binary decision diagrams; Binary decision diagrams; Boolean functions; Circuits; Data structures; Equations; Very large scale integration;
Conference_Titel :
System Theory, 2002. Proceedings of the Thirty-Fourth Southeastern Symposium on
Print_ISBN :
0-7803-7339-1
DOI :
10.1109/SSST.2002.1027080
