Algorithms and data structures in VLSI design : OBDD foundations and applications - Meinel, Christoph; Theobald, Thorsten (Springer, 1998)