Costa, Umberto, Moreira, Anamaria, E Déharbe, David. " A cache-based parallel genetic algorithm for the BDD variable ordering problem" Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) [Online], (24 outubro 2000)