Boosting Verification by Automatic Tuning of Decision Procedures

Frank Hutter
Holger H. Hoos
Alan J. Hu
FMCAD(2007), pp. 27-34

Abstract

Research Areas