papers
Publications (10)
cs.AI2017
Warmstarting of Model-based Algorithm Configuration
Marius Lindauer, Frank Hutter
cs.AI2014
Solver Scheduling via Answer Set Programming
Holger Hoos, Roland Kaminski, Marius Lindauer +1
cs.AI2018
Neural Networks for Predicting Algorithm Runtime Distributions
Katharina Eggensperger, Marius Lindauer, Frank Hutter
cs.AI2016
A case study of algorithm selection for the traveling thief problem
Markus Wagner, Marius Lindauer, Mustafa Misir +2
cs.AI2014
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming
Holger Hoos, Marius Lindauer, Torsten Schaub
cs.AI2016
ASlib: A Benchmark Library for Algorithm Selection
Bernd Bischl, Pascal Kerschke, Lars Kotthoff +8
cs.AI2016
The Configurable SAT Solver Challenge (CSSC)
Frank Hutter, Marius Lindauer, Adrian Balint +3
cs.AI2019
Pitfalls and Best Practices in Algorithm Configuration
Katharina Eggensperger, Marius Lindauer, Frank Hutter
cs.AI2018
The Algorithm Selection Competitions 2015 and 2017
Marius Lindauer, Jan N. van Rijn, Lars Kotthoff
cs.AI2017
Efficient Benchmarking of Algorithm Configuration Procedures via Model-Based Surrogates
Katharina Eggensperger, Marius Lindauer, Holger H. Hoos +2