“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. Best Paper Award.
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.)