Dirk Möller

According to our database, Dirk Möller authored at least 4 papers between 1992 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

BDD minimization using symmetries.

Christoph Scholl, Dirk Möller, Paul Molitor, Rolf Drechsler

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

1996

Least Upper Bounds on the Sizes of Symmetric Variable Order based OBDDs.

Laura Heinrich-Litan, Paul Molitor, Dirk Möller

Proceedings of the 6th Great Lakes Symposium on VLSI (GLS-VLSI '96), 1996

1993

Detection of symmetry of Boolean functions represented by ROBDDs.

Dirk Möller, Janett Mohnke, Michael Weber

Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993

1992

A Concept for the Representation of Data and Algorithms.

Dirk Möller, Rudolf Müller

Proceedings of the Computational Support for Discrete Mathematics, 1992