A note on complexity of OBDD composition and efficiency of partitioned-OBDDs over OBDDs | IEEE Journals & Magazine | IEEE Xplore