“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.
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://theory.stanford.edu/~barrett/pubs/BDO+08.pdf}
}
(This webpage was created with bibtex2web.)