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