A decision procedure for fixedwidth bit-vectors (2005)

by S Berezin, V Ganesh, D Dill