LAYEB, Abdesselem; TABIB, Nacer; BRIREM, Bilel. Genetic Algorithm and Variable neighbourhood search for BDD Variable Ordering Problem. INFOCOMP Journal of Computer Science, [S. l.], v. 10, n. 1, p. 29–35, 2011. Disponível em: http://177.105.60.18/index.php/infocomp/article/view/324. Acesso em: 5 oct. 2024.