A. Layeb, N. Tabib, and B. Brirem, “Genetic Algorithm and Variable neighbourhood search for BDD Variable Ordering Problem”, INFOCOMP Journal of Computer Science, vol. 10, no. 1, pp. 29–35, Mar. 2011.