Frank Hutter Domagoj Babic Holger H. Hoos Alan J. Hu Boosting Verification by Automatic Tuning of Decision Procedures. 27-34 2007 conf/fmcad/2007 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.13 db/conf/fmcad/fmcad2007.html#HutterBHH07