Остановите войну!
for scientists:
default search action
Kevin Leyton-Brown
- > Home > Persons > Kevin Leyton-Brown
Publications
- 2021
- [p4]Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown:
Automated Configuration and Selection of SAT Solvers. Handbook of Satisfiability 2021: 481-507 - 2019
- [p3]Lars Kotthoff, Chris Thornton, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown:
Auto-WEKA: Automatic Model Selection and Hyperparameter Optimization in WEKA. Automated Machine Learning 2019: 81-95 - 2018
- [j29]Katharina Eggensperger, Marius Lindauer, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown:
Efficient benchmarking of algorithm configurators via model-based surrogates. Mach. Learn. 107(1): 15-41 (2018) - [c80]Lars Kotthoff, Alexandre Fréchette, Tomasz P. Michalak, Talal Rahwan, Holger H. Hoos, Kevin Leyton-Brown:
Quantifying Algorithmic Improvements over Time. IJCAI 2018: 5165-5171 - [p2]Marius Lindauer, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown:
Selection and Configuration of Parallel Portfolios. Handbook of Parallel Constraint Reasoning 2018: 583-615 - 2017
- [j28]Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger H. Hoos, Kevin Leyton-Brown:
The Configurable SAT Solver Challenge (CSSC). Artif. Intell. 243: 1-25 (2017) - [j27]Marius Lindauer, Holger H. Hoos, Kevin Leyton-Brown, Torsten Schaub:
Automatic construction of parallel portfolios via algorithm configuration. Artif. Intell. 244: 272-290 (2017) - [j24]Lars Kotthoff, Chris Thornton, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown:
Auto-WEKA 2.0: Automatic model selection and hyperparameter optimization in WEKA. J. Mach. Learn. Res. 18: 25:1-25:5 (2017) - [i24]Chris Cameron, Holger H. Hoos, Kevin Leyton-Brown, Frank Hutter:
OASC-2017: *Zilla Submission. OASC 2017: 15-18 - [i23]Katharina Eggensperger, Marius Lindauer, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown:
Efficient Benchmarking of Algorithm Configuration Procedures via Model-Based Surrogates. CoRR abs/1703.10342 (2017) - 2016
- [j22]Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown:
SATenstein: Automatically building local search SAT solvers from components. Artif. Intell. 232: 20-42 (2016) - [j21]Bernd Bischl, Pascal Kerschke, Lars Kotthoff, Marius Lindauer, Yuri Malitsky, Alexandre Fréchette, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown, Kevin Tierney, Joaquin Vanschoren:
ASlib: A benchmark library for algorithm selection. Artif. Intell. 237: 41-58 (2016) - [c74]Alexandre Fréchette, Lars Kotthoff, Tomasz P. Michalak, Talal Rahwan, Holger H. Hoos, Kevin Leyton-Brown:
Using the Shapley Value to Analyze Algorithm Portfolios. AAAI 2016: 3397-3403 - [c73]Chris Cameron, Holger H. Hoos, Kevin Leyton-Brown:
Bias in Algorithm Portfolio Performance Evaluation. IJCAI 2016: 712-719 - [c72]Lin Xu, Ashiqur R. KhudaBukhsh, Holger H. Hoos, Kevin Leyton-Brown:
Quantifying the Similarity of Algorithm Configurations. LION 2016: 203-217 - 2015
- [c69]Katharina Eggensperger, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
Efficient Benchmarking of Hyperparameter Optimizers via Surrogates. AAAI 2015: 1114-1120 - [c68]Frank Hutter, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown:
Algorithm Runtime Prediction: Methods and Evaluation (Extended Abstract). IJCAI 2015: 4197-4201 - [i17]Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger H. Hoos, Kevin Leyton-Brown:
The Configurable SAT Solver Challenge (CSSC). CoRR abs/1505.01221 (2015) - [i16]Bernd Bischl, Pascal Kerschke, Lars Kotthoff, Marius Lindauer, Yuri Malitsky, Alexandre Fréchette, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown, Kevin Tierney, Joaquin Vanschoren:
ASlib: A Benchmark Library for Algorithm Selection. CoRR abs/1506.02465 (2015) - 2014
- [j18]Frank Hutter, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown:
Algorithm runtime prediction: Methods & evaluation. Artif. Intell. 206: 79-111 (2014) - [j17]Kevin Leyton-Brown, Holger H. Hoos, Frank Hutter, Lin Xu:
Understanding the empirical hardness of NP-complete problems. Commun. ACM 57(5): 98-107 (2014) - [c66]Chris Fawcett, Mauro Vallati, Frank Hutter, Jörg Hoffmann, Holger H. Hoos, Kevin Leyton-Brown:
Improved Features for Runtime Prediction of Domain-Independent Planners. ICAPS 2014 - [c65]Katharina Eggensperger, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
Surrogate Benchmarks for Hyperparameter Optimization. MetaSel@ECAI 2014: 24-31 - [c64]Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
An Efficient Approach for Assessing Hyperparameter Importance. ICML 2014: 754-762 - [c63]Frank Hutter, Manuel López-Ibáñez, Chris Fawcett, Marius Lindauer, Holger H. Hoos, Kevin Leyton-Brown, Thomas Stützle:
AClib: A Benchmark Library for Algorithm Configuration. LION 2014: 36-40 - [c62]Daniel Geschwender, Frank Hutter, Lars Kotthoff, Yuri Malitsky, Holger H. Hoos, Kevin Leyton-Brown:
Algorithm Configuration in the Cloud: A Feasibility Study. LION 2014: 41-46 - [i15]Frank Hutter, Thomas Stützle, Kevin Leyton-Brown, Holger H. Hoos:
ParamILS: An Automatic Algorithm Configuration Framework. CoRR abs/1401.3492 (2014) - 2013
- [c56]Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
An evaluation of sequential model-based optimization for expensive blackbox functions. GECCO (Companion) 2013: 1209-1216 - [c55]Chris Thornton, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
Auto-WEKA: combined selection and hyperparameter optimization of classification algorithms. KDD 2013: 847-855 - [c54]Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
Identifying Key Algorithm Parameters and Instance Features Using Forward Selection. LION 2013: 364-381 - [i11]Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
Bayesian Optimization With Censored Response Data. CoRR abs/1310.1947 (2013) - 2012
- [c51]Lin Xu, Holger H. Hoos, Kevin Leyton-Brown:
Predicting Satisfiability at the Phase Transition. AAAI 2012: 584-590 - [c44]Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
Parallel Algorithm Configuration. LION 2012: 55-70 - [c43]Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors. SAT 2012: 228-241 - [i8]Chris 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) - [i7]Frank Hutter, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown:
Algorithm Runtime Prediction: The State of the Art. CoRR abs/1211.0906 (2012) - 2011
- [c40]Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
Sequential Model-Based Optimization for General Algorithm Configuration. LION 2011: 507-523 - [c39]Christopher Nell, Chris Fawcett, Holger H. Hoos, Kevin Leyton-Brown:
HAL: A Framework for the Automated Analysis and Design of High-Performance Algorithms. LION 2011: 600-615 - [i5]Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
SATzilla: Portfolio-based Algorithm Selection for SAT. CoRR abs/1111.2249 (2011) - 2010
- [j9]Frank 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) - [c35]Lin Xu, Holger H. Hoos, Kevin Leyton-Brown:
Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection. AAAI 2010: 210-216 - [c31]Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
Automated Configuration of Mixed Integer Programming Solvers. CPAIOR 2010: 186-202 - [c30]Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown, Kevin P. Murphy:
Time-Bounded Sequential Parameter Optimization. LION 2010: 281-298 - [p1]Frank Hutter, Thomas Bartz-Beielstein, Holger H. Hoos, Kevin Leyton-Brown, Kevin P. Murphy:
Sequential Model-Based Parameter Optimization: an Experimental Investigation of Automated and Interactive Approaches. Experimental Methods for the Analysis of Optimization Algorithms 2010: 363-414 - 2009
- [j7]Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown, Thomas Stützle:
ParamILS: An Automatic Algorithm Configuration Framework. J. Artif. Intell. Res. 36: 267-306 (2009) - [c27]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 - [c26]Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown:
SATenstein: Automatically Building Local Search SAT Solvers from Components. IJCAI 2009: 517-524 - 2008
- [j6]Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
SATzilla: Portfolio-based Algorithm Selection for SAT. J. Artif. Intell. Res. 32: 565-606 (2008) - 2007
- [c19]Lin Xu, Holger H. Hoos, Kevin Leyton-Brown:
Hierarchical Hardness Models for SAT. CP 2007: 696-711 - [c18]Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown:
: The Design and Analysis of an Algorithm Portfolio for SAT. CP 2007: 712-727 - 2006
- [c16]Frank Hutter, Youssef Hamadi, Holger H. Hoos, Kevin Leyton-Brown:
Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms. CP 2006: 213-228 - 2004
- [c14]Eugene Nudelman, Kevin Leyton-Brown, Holger H. Hoos, Alex Devkar, Yoav Shoham:
Understanding Random SAT: Beyond the Clauses-to-Variables Ratio. CP 2004: 438-452
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint