Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm.

Octav Brudaru, Rdiger Ebendt, Iulian Marius Furdu

Browse the full SYNASC paper archive.