Symmetry detection and dynamic variable ordering of decision diagrams.

Shipra Panda, Fabio Somenzi, Bernard Plessier

Browse the full ICCAD paper archive.