Approximation and Decomposition of Binary Decision Diagrams.

Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple, Fabio Somenzi

Browse the full DAC paper archive.