A Decision Procedure for Bit-Vector Arithmetic.

Clark W. Barrett, David L. Dill, Jeremy R. Levitt

Browse the full DAC paper archive.