Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007).

Clark Barrett Morgan Deters Albert Oliveras Aaron Stump Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007). 569-606 2008 17 International Journal on Artificial Intelligence Tools 4 http://dx.doi.org/10.1142/S0218213008004060 db/journals/ijait/ijait17.html#BarrettDOS08