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: https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/324 (Accessed: 26 April 2024).