Journal article
DESIGN AND RESULTS OF THE 3RD ANNUAL SATISFIABILITY MODULO THEORIES COMPETITION (SMT-COMP 2007)
International journal on artificial intelligence tools, Vol.17(4), pp.569-606
08/01/2008
DOI: 10.1142/S0218213008004060
Abstract
The Satisfiability Modulo Theories Competition (SMT-COMP) is an annual competition aimed to 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.
Details
- Title: Subtitle
- DESIGN AND RESULTS OF THE 3RD ANNUAL SATISFIABILITY MODULO THEORIES COMPETITION (SMT-COMP 2007)
- Creators
- Clark Barrett - New York UniversityMorgan Deters - Department of Computer Science and Engineering, Washington Univesity in St. Louis, St. Louis, MO 63130, USAAlbert Oliveras - Universitat Politècnica de CatalunyaAaron Stump - Department of Computer Science and Engineering, Washington Univesity in St. Louis, St. Louis, MO 63130, USA
- Resource Type
- Journal article
- Publication Details
- International journal on artificial intelligence tools, Vol.17(4), pp.569-606
- Publisher
- World Scientific
- DOI
- 10.1142/S0218213008004060
- ISSN
- 0218-2130
- eISSN
- 1793-6349
- Number of pages
- 38
- Grant note
- TIN2004-03382 / Spanish Min. of Educ. and Science CNS-0551697 / U.S. National Science Foundation; National Science Foundation (NSF)
- Language
- English
- Date published
- 08/01/2008
- Academic Unit
- Computer Science
- Record Identifier
- 9984259437602771
Metrics
1 Record Views