Martin Löbbing
Arbeitsgebiet: Binary Decision Diagrams (BDDs)
Campus Süd, Gebäude IV (Baroper Straße 301), Raum 324
e-mail: loebbing@ls2.informatik.uni-dortmund.de
Tel. +49 231 755 2469
Fax +49 231 755 2047
Diplomarbeit:
Veröffentlichungen:
- Beate Bollig, Martin Löbbing, Ingo Wegener:
Variable Orderings for OBDDs, Simulated
Annealing, and the Hidden Weighted Bit Function,
Forschungsbericht Nr. 528, Universität Dortmund, 1994.
- Beate Bollig, Martin Löbbing, Ingo Wegener:
Simulated Annealing to Improve
Variable Orderings for OBDDs,
International Workshop on Logic Synthesis IWLS, 1995.
- Beate Bollig, Martin Löbbing, Martin Sauerhoff, Ingo Wegener:
Complexiy Theoretical Aspects of OFDDs,
IFIP WG 10.5 Workshop on Applications of the
Reed-Muller Expansion in Circuit Design
- Martin Löbbing, Olaf Schröer, Ingo Wegener:
The Theory of Zero-Suppressed BDDs and the Number of Knight's Tours,
IFIP WG 10.5 Workshop on Applications of the
Reed-Muller Expansion in Circuit Design, 1995.
- Martin Löbbing, Ingo Wegener:
The Number of Knight's Tours Equals 33,439,123,484,294 --- Counting with Binary Decision Diagrams.
The Electronic Journal of Combinatorics, 1996. Der Artikel soll
überarbeitet werden; die richtige Zahl ist 13.267.364.410.532.
- Martin Löbbing, Detlef Sieling, Ingo Wegener:
Parity OBDDs cannot be handled efficiently enough,
Information Processing Letters 67, 1998.