"SMT-COMP: Satisfiability Modulo Theories Competition."

Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics