Hasso-Plattner-Institut
 
    • de
 

Accelerating the Variable Reordering Process

Research Topic: Accelerating the Variable Reordering Process

The only way to decrease the size of BDDs is by finding better variable orders. The most powerful method is dynamic reordering during the construction of the BDD. Unfortunately common reordering strategies are sometimes too time consuming.

We have introduced different techniques for accelerating the process of variable reordering. These techniques utitlize either structural or semantical information from the given BDDs. These techniques have been applied to different tasks like combinatorical verification, reachability analysis and symbolic model checking.

Technical Reports:

  • Ch. Meinel, A. Slobodová:

  • Accelerating OBDD-Minimization by Means of Structural and Semantical Properties
  • Ch. Meinel, K. Schwettmann, A. Slobodová:

  • Application Driven Variable Reordering and an Example in Reachability Analysis
  • Ch. Meinel, Chr. Stangier:

  • Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering
  • Ch. Meinel, A. Slobodová, P. Willems:

  • Block-Restricted Reordering - Extended Experiments -
  • Ch. Meinel, A. Slobodová:

  • Speeding up Variable Reordering of OBDDs

Publications:

People:

    • Dipl. Inform. Christian Stangier
    • Dipl. Inform. Arno Wagner
    • Dipl. Inform. Klaus Schwettmann
    • Dr. Anna Slobodova (now: Compaq, Boston)

Activities:

  • OHO :  OBDD Heuristics Online