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://177.105.60.18/index.php/infocomp/article/view/324