Design and Results of the 4^th Annual Satisfiability Modulo Theories Competition (SMT-COMP 2008)

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

(This webpage was created with bibtex2web.)