Least upper bounds on the sizes of symmetric variable order based OBDDs | IEEE Conference Publication | IEEE Xplore