“Design and Results of the 4^th Annual Satisfiability Modulo Theories Competition (SMT-COMP 2008)” by Clark Barrett, Morgan Deters, Albert Oliveras, and Aaron Stump, Depatrment of Computer Science. New York University technical report TR2010-931, July 2010.
BibTeX entry:
@techreport{BDOS10-TR,
author = {Clark Barrett and Morgan Deters and Albert Oliveras and Aaron
Stump},
title = {Design and Results of the {\it 4^{th}} Annual Satisfiability
Modulo Theories Competition ({SMT-COMP} 2008)},
institution = {Depatrment of Computer Science, New York University},
number = {TR2010-931},
month = jul,
year = {2010},
url = {http://theory.stanford.edu/~barrett/pubs/BDOS10-TR.pdf}
}
(This webpage was created with bibtex2web.)