Jump to Content

Boosting Verification by Automatic Tuning of Decision Procedures

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

Abstract

Research Areas