Variable Ordering of BDDs with Parallel Genetic Algorithms.

Umberto Souza da Costa, David Dharbe, Anamaria Martins Moreira

Browse the full PDPTA paper archive.