Design and Results of the 3^rd Annual Satisfiability Modulo Theories Competition (SMT-COMP 2007)

Design and Results of the 3^rd Annual Satisfiability Modulo Theories Competition (SMT-COMP 2007)” by Clark Barrett, Morgan Deters, Albert Oliveras, and Aaron Stump. International Journal on Artificial Intelligence Tools (IJAIT), vol. 17, no. 4, Aug. 2008, pp. 569-606, World Scientific.

Abstract

The Satisfiability Modulo Theories Competition (SMT-COMP) is an annual competition aimed at stimulating the advance of the state-of-the-art techniques and tools developed by the Satisfiability Modulo Theories (SMT) community. As with the first two editions, SMT-COMP 2007 was held as a satellite event of CAV 2007, held July 3-7, 2007. This paper gives an overview of the rules, competition format, benchmarks, participants and results of SMT-COMP 2007.

BibTeX entry:

@article{BDO+08,
   author = {Clark Barrett and Morgan Deters and Albert Oliveras and Aaron
	Stump},
   title = {Design and Results of the {\it 3^{rd}} Annual Satisfiability
	Modulo Theories Competition ({SMT-COMP} 2007)},
   journal = {International Journal on Artificial Intelligence Tools (IJAIT)},
   volume = {17},
   number = {4},
   pages = {569--606},
   publisher = {World Scientific},
   month = aug,
   year = {2008},
   url = {http://www.cs.nyu.edu/~barrett/pubs/BDO+08.pdf}
}

(This webpage was created with bibtex2web.)