Layeb A, Tabib N, Brirem B. Genetic Algorithm and Variable neighbourhood search for BDD Variable Ordering Problem. INFOCOMP Journal of Computer Science [Internet]. 2011 Mar. 1 [cited 2025 Jan. 7];10(1):29-35. Available from: http://177.105.60.18/index.php/infocomp/article/view/324