David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters. The 2012 SMT Competition. In Pascal Fontaine, Amit Goel, editors, 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012. Volume 20 of EPiC Series, pages 131-142, EasyChair, 2012. [doi]
@inproceedings{CokGBD12,
title = {The 2012 SMT Competition},
author = {David R. Cok and Alberto Griggio and Roberto Bruttomesso and Morgan Deters},
year = {2012},
url = {http://www.easychair.org/publications/?page=527924520},
researchr = {https://researchr.org/publication/CokGBD12},
cites = {0},
citedby = {0},
pages = {131-142},
booktitle = {10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012},
editor = {Pascal Fontaine and Amit Goel},
volume = {20},
series = {EPiC Series},
publisher = {EasyChair},
}