Leiden University Scholarly Publications

Your Search

Enabled Filters

  • (-) = Leyton-Brown, K.

Search results

  • RSS Feed
(1 - 7 of 7)
Automated configuration and selection of SAT solvers
Efficient Benchmarking of Algorithm Configuration Procedures via Model-Based Surrogates
The Configurable SAT Solver Challenge (CSSC)
Auto-WEKA 2.0: Automatic model selection and hyperparameter optimization in WEKA
Auto-WEKA 2.0: Automatic model selection and hyperparameter optimization in WEKA
Automatic construction of parallel portfolios via algorithm configuration
The Configurable SAT Solver Challenge (CSSC)