Rolf Drechsler, Wolfgang Günther, Fabio Somenzi. Using lower bounds during dynamic BDD minimization. IEEE Trans. on CAD of Integrated Circuits and Systems, 20(1):51-57, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.