Dirk Möller

	1999
3		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		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		Dirk Möller, Janett Mohnke, Michael Weber: Detection of symmetry of Boolean functions represented by ROBDDs. ICCAD 1993: 680-684

Coauthor Index

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]