The 2012 SMT Competition

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]

Abstract

Abstract is missing.