Pankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti. Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams. In 12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India. pages 324, IEEE Computer Society, 1999. [doi]
Abstract is missing.