A scalable decision procedure for fixed-width bit-vectors | IEEE Conference Publication | IEEE Xplore