Overview of decision diagrams

Publisher Website

1 January 1997

journal article
Published by Institution of Engineering and Technology (IET) in IEE Proceedings - Computers and Digital Techniques

Vol. 144 (3) , 187
https://doi.org/10.1049/ip-cdt:19971154

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Factored Edge-Valued Binary Decision Diagrams
Formal Methods in System Design, 1997
On the Relation Between BDDs and FDDs
Information and Computation, 1995
On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
IEEE Transactions on Computers, 1991
The complexity of symmetric boolean functions
Published by Springer Nature ,1987