Design and results of the 3rd annual Satisfiability Modulo Theories Competition (SMT-COMP 2007)

Clark Barrett, Morgan Deters, Albert Oliveras, Aaron Stump

Research output: Contribution to journalArticle

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.

Original languageEnglish (US)
Pages (from-to)569-606
Number of pages38
JournalInternational Journal on Artificial Intelligence Tools
Volume17
Issue number4
DOIs
StatePublished - Aug 2008

Fingerprint

Satellites

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Design and results of the 3rd annual Satisfiability Modulo Theories Competition (SMT-COMP 2007). / Barrett, Clark; Deters, Morgan; Oliveras, Albert; Stump, Aaron.

In: International Journal on Artificial Intelligence Tools, Vol. 17, No. 4, 08.2008, p. 569-606.

Research output: Contribution to journalArticle

Barrett, Clark ; Deters, Morgan ; Oliveras, Albert ; Stump, Aaron. / Design and results of the 3rd annual Satisfiability Modulo Theories Competition (SMT-COMP 2007). In: International Journal on Artificial Intelligence Tools. 2008 ; Vol. 17, No. 4. pp. 569-606.
@article{a3aea601390c4d428e5f7f6effa3188f,
title = "Design and results of the 3rd annual Satisfiability Modulo Theories Competition (SMT-COMP 2007)",
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.",
author = "Clark Barrett and Morgan Deters and Albert Oliveras and Aaron Stump",
year = "2008",
month = "8",
doi = "10.1142/S0218213008004060",
language = "English (US)",
volume = "17",
pages = "569--606",
journal = "International Journal on Artificial Intelligence Tools",
issn = "0218-2130",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "4",

}

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

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

VL - 17

SP - 569

EP - 606

JO - International Journal on Artificial Intelligence Tools

JF - International Journal on Artificial Intelligence Tools

SN - 0218-2130

IS - 4

ER -