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

by S Panda, F Somenzi, B F Plessier
Venue:in Proc. Int. Conf. Computer-Aided Design