The International Satisfiability Modulo Theories (SMT) Competition.
@article{WCDHNR19,
author = {Tjark Weber and
Sylvain Conchon and
David D{\'{e}}harbe and
Matthias Heizmann and
Aina Niemetz and
Giles Reger},
title = {The {SMT} Competition 2015-2018},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {11},
number = {1},
pages = {221--259},
year = {2019},
url = {https://doi.org/10.3233/SAT190123},
}
@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://doi.org/10.3233/sat190109}
}
@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}
}
@misc{CGBD12,
author = {David R. Cok and Alberto Griggio and Roberto Bruttomesso and Morgan Deters},
title = {The 2012 {SMT} Competition},
year = {2012},
url = {https://doi.org/10.29007/gj66}
}
@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}
}
@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}
}
@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},
url = {https://dx.doi.org/10.1142/S0218213008004060}
}
@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}
}
@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}
}