Symmetry detection and dynamic variable ordering of decision diagrams. - Shipra Panda; Fabio Somenzi; Bernard Plessier (ICCAD, 1994)

Who are the variables in your neighborhood. - Shipra Panda; Fabio Somenzi (ICCAD, 1995)