U. Costa, A. Moreira, and D. Déharbe.
" A cache-based parallel genetic algorithm for the BDD variable ordering problem", in Anais do XII Symposium on Computer Architecture and High Performance Computing, São Pedro/SP, 2000, pp. 99-104, doi: https://doi.org/10.5753/sbac-pad.2000.41209.