dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Frank Hutter (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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


17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Xu, Frank Hutter, Holger Hoos, Kevin Leyton-Brown: Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors. SAT 2012: 228-241
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Thornton, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown: Auto-WEKA: Automated Selection and Hyper-Parameter Optimization of Classification Algorithms CoRR abs/1208.3719: (2012)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hutter, Holger H. Hoos, Kevin Leyton-Brown: Sequential Model-Based Optimization for General Algorithm Configuration. LION 2011: 507-523
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown: SATzilla: Portfolio-based Algorithm Selection for SAT CoRR abs/1111.2249: (2011)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hutter, Holger H. Hoos, Kevin Leyton-Brown: Automated Configuration of Mixed Integer Programming Solvers. CPAIOR 2010: 186-202
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hutter, Holger H. Hoos, Kevin Leyton-Brown, Kevin P. Murphy: Time-Bounded Sequential Parameter Optimization. LION 2010: 281-298
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hutter, Holger H. Hoos, Kevin Leyton-Brown: Tradeoffs in the empirical evaluation of competing algorithm designs. Ann. Math. Artif. Intell. 60(1-2): 65-89 (2010)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hutter, Holger H. Hoos, Kevin Leyton-Brown, Thomas Stützle: ParamILS: An Automatic Algorithm Configuration Framework. J. Artif. Intell. Res. (JAIR) 36: 267-306 (2009)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin 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)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hutter, Holger H. Hoos, Thomas Stützle: Automatic Algorithm Configuration Based on Local Search. AAAI 2007: 1152-1157
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown: : The Design and Analysis of an Algorithm Portfolio for SAT. CP 2007: 712-727
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu: Boosting Verification by Automatic Tuning of Decision Procedures. FMCAD 2007: 27-34
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown: Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms. CP 2006: 213-228
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hutter, Holger H. Hoos, Thomas Stützle: Efficient Stochastic Local Search for MPE Solving. IJCAI 2005: 169-174
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Hutter, Dave A. D. Tompkins, Holger H. Hoos: Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. CP 2002: 233-248

Selection of 16 from 17 records - Frank Hutter has 52 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page