Name Venue Year Citations
The Configurable SAT Solver Challenge (CSSC). Artificial Intelligence 2017 32
Automatic construction of parallel portfolios via algorithm configuration. Artificial Intelligence 2017 7
AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract). IJCAI 2017 3
SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers. SAT 2015 9
The algorithm selection competitions 2015 and 2017. Artificial Intelligence 2019 3
Pitfalls and Best Practices in Algorithm Configuration. JAIR 2019 5
An Evolution Strategy with Progressive Episode Lengths for Playing Games. IJCAI 2019 0
AutoFolio: An Automatically Configured Algorithm Selector. JAIR 2015 54
SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers. SAT 2016 7
Neural Networks for Predicting Algorithm Runtime Distributions. IJCAI 2018 3
Efficient Parameter Importance Analysis via Ablation with Surrogates. AAAI 2017 12
Warmstarting of Model-Based Algorithm Configuration. AAAI 2018 13
Efficient benchmarking of algorithm configurators via model-based surrogates. MLJ 2018 0
ASlib: A benchmark library for algorithm selection. Artificial Intelligence 2016 0
Copyright ©2019 Universit├Ąt W├╝rzburg
Website created in context of the REGIO Project
Impressum | Privacy | FAQ