Layeb, Abdesselem, Nacer Tabib, and Bilel Brirem. 2011. “Genetic Algorithm and Variable Neighbourhood Search for BDD Variable Ordering Problem”. INFOCOMP Journal of Computer Science 10 (1):29-35. http://infocomp.dcc.ufla.br/index.php/infocomp/article/view/324.