Variable reordering for shared binary decision diagrams using output probabilities
Mitchell Aaron Thornton, J.P. Williams, Rolf Drechsler, N. Drechsler · 2003
The shared binary decision diagram (SBDD) with negative edge attributes can represent many functions in a compact form if a proper variable ordering is used. In this work we describe a technique for reordering the variables in an SBDD to reduce the size of the data structure. We use a heuristic to formulate a technique for the reordering problem based on probability metrics.