Mirror, mirror, on the wall...is the new release any different at all? [BDDs] | IEEE Conference Publication | IEEE Xplore