- The 2014 SMT Competition. David R. Cok, David Déharbe, and Tjark Weber.
@article{CDW14,
author = {Cok, David R. and David D{\'{e}}harbe and Tjark Weber},
title = {The 2014 {SMT} Competition},
journal = {Journal on Satisfiability, Boolean Modeling and Computation},
volume = {9},
pages = {207-242},
year = {2014},
url = {https://satassociation.org/jsat/index.php/jsat/article/view/122}
}
- The 2013 Evaluation of SMT-COMP and SMT-LIB. David R. Cok, Aaron Stump, and Tjark Weber.
@article{CSW15,
author = {David R. Cok and Aaron Stump and Tjark Weber},
title = {The 2013 Evaluation of {SMT-COMP} and {SMT-LIB}},
journal = {Journal of Automated Reasoning},
volume = {55},
number = {1},
pages = {61-90},
publisher = {Springer Netherlands},
year = {2015},
url = {http://dx.doi.org/10.1007/s10817-015-9328-2}
}
- The 2012 SMT Competition. David R. Cok, Alberto Griggio, Roberto Bruttomesso, and Morgan Deters.
@misc{CGBD12,
author = {David R. Cok and Alberto Griggio and Roberto Bruttomesso and Morgan Deters},
title = {The 2012 {SMT} Competition},
year = {2012},
note = {Available online at \url{http://smtcomp.sourceforge.net/2012/reports/SMTCOMP2012.pdf}}
}
- 6 Years of SMT-COMP. Clark Barrett, Morgan Deters, Leonardo de Moura, Albert Oliveras, and Aaron Stump.
@article{BDdMOS13,
author = {Barrett, Clark and Deters, Morgan and de Moura, Leonardo and Oliveras, Albert and Stump, Aaron},
title = {6 Years of {SMT-COMP}},
journal = {Journal of Automated Reasoning},
volume = {50},
number = {3},
pages = {243-277},
publisher = {Springer Netherlands},
year = {2013},
url = {http://dx.doi.org/10.1007/s10817-012-9246-5}
}
- Design and Results of the 4th Annual Satisfiability Modulo Theories Competition (SMT-COMP 2008). Clark Barrett, Morgan Deters, Albert Oliveras, and Aaron Stump.
@techreport{BDOS10,
author = {Clark Barrett and Morgan Deters and Albert Oliveras and Aaron Stump},
title = {Design and Results of the 4th {A}nnual {S}atisfiability {M}odulo {T}heories {C}ompetition ({SMT-COMP} 2008)},
number = {TR2010-931},
institution = {New York University},
year = {2010}
}
- Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-COMP 2007). Clark Barrett, Morgan Deters, Albert Oliveras, and Aaron Stump.
@article{BDOS08,
author = {Clark Barrett and Morgan Deters and Albert Oliveras and Aaron Stump},
title = {Design and Results of the 3rd {A}nnual {S}atisfiability {M}odulo {T}heories {C}ompetition ({SMT-COMP} 2007)},
journal = {International Journal on Artificial Intelligence Tools},
volume = {17},
number = {4},
pages = {569-606},
year = {2008}
}
- Design and Results of the 2nd Annual Satisfiability Modulo Theories Competition (SMT-COMP 2006). Clark Barrett, Leonardo de Moura, and Aaron Stump.
@article{BdMS07,
author = {Clark Barrett and Leonardo de Moura and Aaron Stump},
title = {Design and Results of the 2nd {A}nnual {S}atisfiability {M}odulo {T}heories {C}ompetition ({SMT-COMP} 2006)},
journal = {Formal Methods in System Design},
publisher = {Springer Netherlands},
year = {2007}
}
- Design and Results of the 1st Satisfiability Modulo Theories Competition (SMT-COMP 2005). Clark Barrett, Leonardo de Moura, and Aaron Stump.
@article{BdMS05,
author = {Clark Barrett and Leonardo de Moura and Aaron Stump},
title = {Design and Results of the 1st {S}atisfiability {M}odulo {T}heories {C}ompetition ({SMT-COMP} 2005)},
journal = {Journal of Automated Reasoning},
volume = {35},
number = {4},
pages = {373-390},
publisher = {Springer},
year = {2005}
}
