TY - JOUR
T1 - Design and results of the 3rd annual Satisfiability Modulo Theories Competition (SMT-COMP 2007)
AU - Barrett, Clark
AU - Deters, Morgan
AU - Oliveras, Albert
AU - Stump, Aaron
N1 - Funding Information:
SMT-COMP would not have been possible without the invaluable support, feedback, and participation of the entire SMT community, with special thanks to Cesare Tinelli and Silvio Ranise, the leaders of the SMT-LIB initiative. The authors at Washington University would like to acknowledge the technical support of Mark Bober of Washington University’s Computing Technology Services in ordering and helping operate the cluster. Thanks also to the organizers of CAV 2007 for their support of SMT-COMP 2007 as a satellite event. Finally, the organizers wish to acknowledge the support of the U.S. National Science Foundation, under contract CNS-0551697, for SMT-COMP 2007 and (anticipated) 2008.
PY - 2008/8
Y1 - 2008/8
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=51449105898&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=51449105898&partnerID=8YFLogxK
U2 - 10.1142/S0218213008004060
DO - 10.1142/S0218213008004060
M3 - Article
AN - SCOPUS:51449105898
SN - 0218-2130
VL - 17
SP - 569
EP - 606
JO - International Journal on Artificial Intelligence Tools
JF - International Journal on Artificial Intelligence Tools
IS - 4
ER -