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