相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。The Configurable SAT Solver Challenge (CSSC)
Frank Hutter et al.
ARTIFICIAL INTELLIGENCE (2017)
Analysing differences between algorithm configurations through ablation
Chris Fawcett et al.
JOURNAL OF HEURISTICS (2016)
ASlib: A benchmark library for algorithm selection
Bernd Bischl et al.
ARTIFICIAL INTELLIGENCE (2016)
Taking the Human Out of the Loop: A Review of Bayesian Optimization
Bobak Shahriari et al.
PROCEEDINGS OF THE IEEE (2016)
SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers
Norbert Manthey et al.
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016 (2016)
Automatic model selection for high-dimensional survival analysis
M. Lang et al.
JOURNAL OF STATISTICAL COMPUTATION AND SIMULATION (2015)
Hyperparameter Optimization with Factorized Multilayer Perceptrons
Nicolas Schilling et al.
MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2015, PT II (2015)
Algorithm Selection for Combinatorial Search Problems: A Survey
Lars Kotthoff
AI MAGAZINE (2014)
Algorithm runtime prediction: Methods & evaluation
Frank Hutter et al.
ARTIFICIAL INTELLIGENCE (2014)
Automatic classifier selection for non-experts
Matthias Reif et al.
PATTERN ANALYSIS AND APPLICATIONS (2014)
A multi-engine approach to answer-set programming
Marco Maratea et al.
THEORY AND PRACTICE OF LOGIC PROGRAMMING (2014)
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Holger Hoos et al.
THEORY AND PRACTICE OF LOGIC PROGRAMMING (2014)
Conflict-driven answer set solving: From theory to practice
Martin Gebser et al.
ARTIFICIAL INTELLIGENCE (2012)
Empirical Hardness Models: Methodology and a Case Study on Combinatorial Auctions
Kevin Leyton-Brown et al.
JOURNAL OF THE ACM (2009)
A meta-learning method to select the kernel width in Support Vector Regression
C Soares et al.
MACHINE LEARNING (2004)
A parallel mixture of SVMs for very large scale problems
R Collobert et al.
NEURAL COMPUTATION (2002)