Algorithms And Data Structures In Vlsi Design Obdd Foundations And Applications -

binary decision diagram wikipedia - in computer science a binary decision diagram bdd or branching program is a data structure that is used to represent a boolean function on a more abstract level bdds can be considered as a compressed representation of sets or relations unlike other compressed representations operations are performed directly on the compressed representation i e without decompression