885 citations · 3.3k across the 27 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.AI2015★ 4 cited
ASlib: A Benchmark Library for Algorithm Selection
Bernd Bischl, Pascal Kerschke, Lars Kotthoff +8
The task of algorithm selection involves choosing an algorithm from a set of algorithms on a per-instance basis in order to exploit the varying performance of algorithms over a set…
cs.AI2015
The Configurable SAT Solver Challenge (CSSC)
Frank Hutter, Marius Lindauer, Adrian Balint +3
It is well known that different solution strategies work well for different types of instances of hard combinatorial problems. As a consequence, most solvers for the propositional…