“A
Decision Procedure for Bit-vector Arithmetic”
by Clark W. Barrett, David L. Dill, and Jeremy R. Levitt.
In *Proceedings of the 35^th Design Automation Conference (DAC
'98)*, June 1998, pp. 522-527. San Francisco, California.

**BibTeX entry:**

@inproceedings{BDL98, author = {Clark W. Barrett and David L. Dill and Jeremy R. Levitt}, title = {A Decision Procedure for Bit-vector Arithmetic}, booktitle = {Proceedings of the {\it 35^{th}} Design Automation Conference (DAC '98)}, pages = {522--527}, publisher = {Association for Computing Machinery}, month = jun, year = {1998}, note = {San Francisco, California. {\em Best paper award.}}, url = {http://theory.stanford.edu/~barrett/pubs/BDL98.pdf} }

(This webpage was created with bibtex2web.)