Dirk Möller

Publication Activity (10 Years)

Years Active: 1992-1999
Publications (10 Years): 0

Publications

Christoph Scholl, Dirk Möller, Paul Molitor, Rolf Drechsler
BDD minimization using symmetries. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (2) (1999)
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)
Dirk Möller, Janett Mohnke, Michael Weber
Detection of symmetry of Boolean functions represented by ROBDDs. ICCAD (1993)
Dirk Möller, Rudolf Müller
A Concept for the Representation of Data and Algorithms. Computational Support for Discrete Mathematics (1992)