Global Reordering

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