Layeb, A., N. Tabib, and B. Brirem. “Genetic Algorithm and Variable Neighbourhood Search for BDD Variable Ordering Problem”. INFOCOMP Journal of Computer Science, vol. 10, no. 1, Mar. 2011, pp. 29-35, http://infocomp.dcc.ufla.br/index.php/infocomp/article/view/324.