Symmetry Detection and Dynamic Variable Ordering of Decision Diagrams (1994)

by S Panda, F Somenzi, B Plessier
Venue:in Proceedings of the International Conference on Computer-Aided Design (ICCAD