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), pp. 29-35. Available at: http://infocomp.dcc.ufla.br/index.php/infocomp/article/view/324 (Accessed: 5August2020).