1995 | ||
---|---|---|
2 | EE | Shipra Panda, Fabio Somenzi: Who are the variables in your neighborhood. ICCAD 1995: 74-77 |
1994 | ||
1 | EE | Shipra Panda, Fabio Somenzi, Bernard Plessier: Symmetry detection and dynamic variable ordering of decision diagrams. ICCAD 1994: 628-631 |
1 | Bernard Plessier | [1] |
2 | Fabio Somenzi | [1] [2] |