![](/img/cover-not-exists.png)
[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Boosting Verification by Automatic Tuning of Decision Procedures
Hutter, Frank, Babic, Domagoj, Hoos, Holger H., Hu, Alan J.Year:
2007
Language:
english
DOI:
10.1109/FAMCAD.2007.9
File:
PDF, 337 KB
english, 2007