 | 2009 |
|---|
| 8 |       | Frank Hutter,
Holger H. Hoos,
Kevin Leyton-Brown,
Kevin P. Murphy:
An experimental investigation of model-based parameter optimisation: SPO and beyond.
GECCO 2009: 271-278 |
| 2008 |
|---|
| 7 | | Lin Xu,
Frank Hutter,
Holger H. Hoos,
Kevin Leyton-Brown:
SATzilla: Portfolio-based Algorithm Selection for SAT.
J. Artif. Intell. Res. (JAIR) 32: 565-606 (2008) |
| 2007 |
|---|
| 6 |  | Frank Hutter,
Holger H. Hoos,
Thomas Stützle:
Automatic Algorithm Configuration Based on Local Search.
AAAI 2007: 1152-1157 |
| 5 | | Lin Xu,
Frank Hutter,
Holger H. Hoos,
Kevin Leyton-Brown:
: The Design and Analysis of an Algorithm Portfolio for SAT.
CP 2007: 712-727 |
| 4 | | Frank Hutter,
Domagoj Babic,
Holger H. Hoos,
Alan J. Hu:
Boosting Verification by Automatic Tuning of Decision Procedures.
FMCAD 2007: 27-34 |
| 2006 |
|---|
| 3 | | Frank Hutter,
Youssef Hamadi,
Holger H. Hoos,
Kevin Leyton-Brown:
Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms.
CP 2006: 213-228 |
| 2005 |
|---|
| 2 | | Frank Hutter,
Holger H. Hoos,
Thomas Stützle:
Efficient Stochastic Local Search for MPE Solving.
IJCAI 2005: 169-174 |
| 2002 |
|---|
| 1 | | Frank Hutter,
Dave A. D. Tompkins,
Holger H. Hoos:
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT.
CP 2002: 233-248 |
