| |
| 1999 | ||
|---|---|---|
| 3 | EE | Christoph Scholl, Dirk Möller, Paul Molitor, Rolf Drechsler: BDD minimization using symmetries. IEEE Trans. on CAD of Integrated Circuits and Systems 18(2): 81-100 (1999) |
| 1996 | ||
| 2 | EE | Laura Heinrich-Litan, Paul Molitor, Dirk Möller: Least Upper Bounds on the Sizes of Symmetric Variable Order based OBDDs. Great Lakes Symposium on VLSI 1996: 126- |
| 1993 | ||
| 1 | EE | Dirk Möller, Janett Mohnke, Michael Weber: Detection of symmetry of Boolean functions represented by ROBDDs. ICCAD 1993: 680-684 |
| 1 | Rolf Drechsler | [3] |
| 2 | Laura Heinrich-Litan | [2] |
| 3 | Janett Mohnke | [1] |
| 4 | Paul Molitor | [2] [3] |
| 5 | Christoph Scholl | [3] |
| 6 | Michael Weber | [1] |