Minimizing ROBDD sizes of incompletely specified Boolean functions by exploiting strong symmetries | IEEE Conference Publication | IEEE Xplore