Layeb, Abdesselem, Nacer Tabib, and Bilel Brirem. “Genetic Algorithm and Variable Neighbourhood Search for BDD Variable Ordering Problem”. INFOCOMP Journal of Computer Science 10, no. 1 (March 1, 2011): 29–35. Accessed January 7, 2025. http://177.105.60.18/index.php/infocomp/article/view/324.