Domagoj Babic (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

6

Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu: Boosting Verification by Automatic Tuning of Decision Procedures. FMCAD 2007: 27-34

Selection of 1 from 9 records - Domagoj Babic has 6 coauthors