Dynamic minimization of OKFDDs | IEEE Conference Publication | IEEE Xplore