Solving bit-vector equations (1998)

by M O Möller, Harald Ruess
Venue:In Proceedings of FMCAD’98