Boosting Verification by Automatic Tuning of Decision Procedures.

Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu

Browse the full FMCAD paper archive.