An efficient decision procedure for the theory of fixed-sized bit-vectors (1997)

by D CYRLUK, O MÖLLER, H RUESS
Venue:In Computer Aided Verification