Costa, Umberto, Anamaria M. Moreira, and David Déharbe.
" A cache-based parallel genetic algorithm for the BDD variable ordering problem." <em>Anais do XII Symposium on Computer Architecture and High Performance Computing,
São Pedro/SP, 2000</em>. SBC, 2000,  
pp.99-104.