Speeding up variable reordering of OBDDs - Meinel, Christoph; Slobodová, Anna (Mathematik, Informatik: Forschungsbericht Universität <Trier>, 1996)