Variable Ordering of BDDs with Parallel Genetic Algorithms.

Umberto S. Costa David Déharbe Anamaria Martins Moreira Variable Ordering of BDDs with Parallel Genetic Algorithms. 2000 conf/pdpta/2000 PDPTA db/conf/pdpta/pdpta2000.html#CostaDM00