Layeb, A. et al. 2011. Genetic Algorithm and Variable neighbourhood search for BDD Variable Ordering Problem. INFOCOMP Journal of Computer Science. 10, 1 (Mar. 2011), 29–35.