Speeding up variable reordering of OBDDs - Meinel, Christoph; Slobodová, Anna (Univ., Mathematik/Informatik, 1996)