J.R.: A decision procedure for bit-vector arithmetic (1998)

by C W Barrett, D L Dill, Levitt
Venue:In: Proceedings of the 35th Design Automation Conference