LAYEB, A.; TABIB, N.; BRIREM, B. Genetic Algorithm and Variable neighbourhood search for BDD Variable Ordering Problem. INFOCOMP Journal of Computer Science, v. 10, n. 1, p. 29-35, 1 Mar. 2011.