Bound-set preserving ROBDD variable orderings may not be optimum | IEEE Journals & Magazine | IEEE Xplore