Search the dblp DataBase

Publications of Author

1. Frank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown
   Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms. [Citation Graph (0, 0)][DBLP]
   CP, 2006, pp:213-228 [Conf]
   
2. Frank Hutter, Dave A. D. Tompkins, Holger H. Hoos
   Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. [Citation Graph (0, 0)][DBLP]
   CP, 2002, pp:233-248 [Conf]
   
3. Frank Hutter, Holger H. Hoos, Thomas Stützle
   Efficient Stochastic Local Search for MPE Solving. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2005, pp:169-174 [Conf]
   
4. Frank Hutter, Holger H. Hoos, Thomas Stützle
   Automatic Algorithm Configuration Based on Local Search. [Citation Graph (0, 0)][DBLP]
   AAAI, 2007, pp:1152-1157 [Conf]
   
5. Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown
   : The Design and Analysis of an Algorithm Portfolio for SAT. [Citation Graph (0, 0)][DBLP]
   CP, 2007, pp:712-727 [Conf]
   
6. 
   Automated Configuration of Mixed Integer Programming Solvers. [Citation Graph (, )][DBLP]
   
   
7. 
   Boosting Verification by Automatic Tuning of Decision Procedures. [Citation Graph (, )][DBLP]
   
   
8. 
   An experimental investigation of model-based parameter optimisation: SPO and beyond. [Citation Graph (, )][DBLP]
   
   
9. 
   Time-Bounded Sequential Parameter Optimization. [Citation Graph (, )][DBLP]