Boosting Verification by Automatic Tuning of Decision Procedures

Abstract

Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from the artificial intelligence (AI) community suggest that this tuning process can be automated, and that doing so can lead to significant performance improvements; furthermore… (More)
DOI: 10.1109/FAMCAD.2007.9

Topics

5 Figures and Tables

Statistics

01020'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

150 Citations

Semantic Scholar estimates that this publication has 150 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Hutter2007BoostingVB, title={Boosting Verification by Automatic Tuning of Decision Procedures}, author={Frank Hutter and Domagoj Babic and Holger H. Hoos and Alan J. Hu}, journal={Formal Methods in Computer Aided Design (FMCAD'07)}, year={2007}, pages={27-34} }