Least upper bounds for the size of OBDDs using symmetry properties | IEEE Journals & Magazine | IEEE Xplore