A Decision Procedure for Bit-vector Arithmetic

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://www.cs.nyu.edu/~barrett/pubs/BDL98.pdf}
}

(This webpage was created with bibtex2web.)