Layeb, A., Tabib, N., & Brirem, B. (2011). Genetic Algorithm and Variable neighbourhood search for BDD Variable Ordering Problem. INFOCOMP Journal of Computer Science, 10(1), 29-35. Retrieved from http://infocomp.dcc.ufla.br/index.php/infocomp/article/view/324