Layeb, A.; Tabib, N.; Brirem, B. Genetic Algorithm and Variable Neighbourhood Search for BDD Variable Ordering Problem. INFOCOMP Journal of Computer Science 2011, 10, 29-35.