“SMT-COMP: Satisfiability Modulo Theories Competition” by Clark Barrett, Leonardo de Moura, and Aaron Stump. In Proceedings of the 17^th International Conference on Computer Aided Verification (CAV '05), (Kousha Etessami and Sriram K. Rajamani, eds.), July 2005, pp. 20-23. Edinburgh, Scotland.
BibTeX entry:
@inproceedings{BdMS05-CAV, author = {Clark Barrett and Leonardo de Moura and Aaron Stump}, editor = {Kousha Etessami and Sriram K. Rajamani}, title = {{SMT-COMP}: Satisfiability Modulo Theories Competition}, booktitle = {Proceedings of the {\it 17^{th}} International Conference on Computer Aided Verification (CAV '05)}, series = {Lecture Notes in Computer Science}, volume = {3576}, pages = {20--23}, publisher = {Springer-Verlag}, month = jul, year = {2005}, note = {Edinburgh, Scotland}, url = {http://theory.stanford.edu/~barrett/pubs/BdMS05-CAV.pdf} }
(This webpage was created with bibtex2web.)