Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple, Fabio Somenzi. Approximation and Decomposition of Binary Decision Diagrams. In DAC. pages 445-450, 1998. [doi]
No references recorded for this publication.
No citations of this publication recorded.