Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams.

Wolfgang Lenders, Christel Baier

Browse the full FOGA paper archive.