Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving. - Andrew Healy; Rosemary Monahan; James F. Power (SAC, 2016)

Predicting SMT Solver Performance for Software Verification. - Andrew Healy; Rosemary Monahan; James F. Power (F-IDE@FM, 2016)