Application Driven Variable Reordering and an ExampleImplementation in Reachability Analysis

  • Christoph Meinely Klaus Schwettmannz Anna Slobodov
  • Published 1999
Variable reordering is the main approach to minimize the size of Ordered Binary Decision Diagrams. But despite the huge eeort spent, up to now, to design diierent reordering heuristics, their performance often does not meet the needs of the applications. In many OBDD-based computations, the time cost for reordering dominates the time spent by the… CONTINUE READING