Approximation and Decomposition of Binary Decision Diagrams.

Thu, 01 Jan 1998 00:00:00 +0100

Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple, Fabio Somenzi:
Approximation and Decomposition of Binary Decision Diagrams. DAC 1998: 445-450