Minimization of Decision Diagrams: Classical Methods

In this chapter we restrict ourselves to BDDs. Nevertheless, most of the considered methods can more or less be extended to other bit-level DD types. For word-level DDs, the situation is different. Minimization concepts as they are well-known for bit-level DDs (see the following chapter) cannot directly be transferred to the word-level. First steps in this direction can currently be observed [58, 79].