Download PDFOpen PDF in browser

The 2012 SMT Competition

12 pagesPublished: August 19, 2013

Abstract

The 2012 SMT Competition was held in conjunction with the SMT workshop at IJCAR 2012. Eleven solvers participated, showing improvements over 2011 in some but not all divisions. The competition featured a new unsat-core-generation track and encouraged the demonstration of proof-generation solvers. The series of competitions is expected to be continued at SAT 2013.

Keyphrases: satisfiability module theories, smt, smt comp, smt competition, smt evaluation, smt solver

In: Pascal Fontaine and Amit Goel (editors). SMT 2012. 10th International Workshop on Satisfiability Modulo Theories, vol 20, pages 131-142.

BibTeX entry
@inproceedings{SMT2012:2012_SMT_Competition,
  author    = {David Cok and Alberto Griggio and Roberto Bruttomesso and Morgan Deters},
  title     = {The 2012 SMT Competition},
  booktitle = {SMT 2012. 10th International Workshop on Satisfiability Modulo Theories},
  editor    = {Pascal Fontaine and Amit Goel},
  series    = {EPiC Series in Computing},
  volume    = {20},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/FM},
  doi       = {10.29007/gj66},
  pages     = {131-142},
  year      = {2013}}
Download PDFOpen PDF in browser