Algorithmen und Datenstrukturen im VLSI-Design OBDD — Grundlagen und Anwendungen - Meinel, Christoph (Springer Berlin Heidelberg, 1998)