Minimization of binary decision diagrams based on exchanges of variables | IEEE Conference Publication | IEEE Xplore