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 https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/324