Symmetry detection and dynamic variable ordering of decision diagrams (1994)

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