A genetic algorithm for variable ordering of OBDDs - Drechsler, Rolf 1969-; Becker, Bernd; Göckel, Nicole (Universität <Frankfurt, Main> / Fachbereich Informatik: Interner Bericht, 1995)