Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams. - Wolfgang Lenders; Christel Baier (FOGA, 2005)