Efficient OBDD based Boolean manipulation in CAD beyond current limits - Bern, Jochen; Meinel, Christoph; Slobodová, Anna (Univ., 1994)