Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm | IEEE Conference Publication | IEEE Xplore