Minimization of BDDs using linear transformations based on evolutionary techniques | IEEE Conference Publication | IEEE Xplore