Publisher
Springer International Publishing
Reference68 articles.
1. C.Y. Lee2, Representation of switching circuits by binary-decision programs. Bell Syst. Tech. J. 38(4), 985–999 (1959)
2. S.B. Akers2, Binary decision diagrams. IEEE Trans. Comp. 100(6), 509–516 (1978)
3. R.E. Bryant, Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. 100(8), 677–691 (1986)
4. C. Yang, M. Ciesielski, BDS: A BDD-based logic optimization system. IEEE Trans. CAD IC Syst. 21(7): 866–876 (2002)
5. S. Malik et al., Logic verification using binary decision diagrams in a logic synthesis environment in IEEE International Conference on CAD (1988), pp. 6–9