Costa, U., Moreira, A., & Déharbe, D. (2000). A cache-based parallel genetic algorithm for the BDD variable ordering problem. In Anais do XII Symposium on Computer Architecture and High Performance Computing, (pp. 99-104). Porto Alegre: SBC. doi:10.5753/sbac-pad.2000.41209