"Predicting SMT Solver Performance for Software Verification."

Andrew Healy, Rosemary Monahan, James F. Power (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics