Minimizing the number of one-paths in BDDs by an evolutionary algorithm | IEEE Conference Publication | IEEE Xplore