Transformation Techniques for Optimization
In this chapter, we introduce transformation techniques which serve to further optimize OBDD representations. The optimization space in this framework goes far beyond the optimization space established by the optimization of the variable order.
Unable to display preview. Download preview PDF.
- The concept of transformed decision diagrams as well as the use of type-based cube transformations is due to Bern, Meinel, and Slobodov¨¢ [BMS95]. The use of linear transformations for optimization was proposed by Meinel and Theobald [MT96], its realization through the linear sifting algorithm was done Meinel, Somenzi, and Theobald [MST97]. Finally, optimization of OBDDs by means of encoding transformations goes back to the papers [MT96, MT97].Google Scholar