Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams.

Pankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti

Browse the full VLSID paper archive.