Boosting Verification by Automatic Tuning of Decision Procedures. - Hutter, Frank; Babic, Domagoj; Hoos, Holger H.; Hu, Alan J. (2007)