Costa, U., 		Moreira, A., & 		Déharbe, D.
2000 out 24.  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] :