
Contact
Prof. Dr. Christoph Meinel
Hasso-Plattner-Institut
an der Universität Potsdam
Tel: +49 0331/5509-222
Fax: +49 0331/5509-325
Mobil: +49 176 10010727
meinel"at"hpi.uni-potsdam.de
Blogs
Research Topic: Global Reordering of OBDDs
Technical Reports:
- J. Bern, Ch. Meinel, A. Slobodová:
Global Rebuilding of OBDD's - Tunnelling Memory Requirement Maxima
Publications:
- J. Bern, Ch. Meinel, A. Slobodová
Global Rebuilding of OBDD's - Tunneling Memory Requirement Maxima
Proc. CAV'95, Liège (Belgium), LNCS 939, Springer-Verlag 1995, 4-15.
People:
- Dipl. math. Jochen Bern
- Prof. Dr. Christoph Meinel
- Dr. Anna Slobodova (now: Compaq, Boston)
- Dr. Harald Sack










