27 citations · 111 across the 28 of their papers we have counts for
Showing 2013 · cs.AIShow all
3 papers · 2 filters
cs.AI2013
Ranking Algorithms by Performance
Lars Kotthoff
A common way of doing algorithm selection is to train a machine learning model and predict the best algorithm from a portfolio to solve a particular problem. While this method has…
cs.AI2013
Proteus: A Hierarchical Portfolio of Solvers and Transformations
Barry Hurley, Lars Kotthoff, Yuri Malitsky +1
In recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly common. There are also a number of different encodings for representing CSPs as SAT…
cs.AI2013★ 27 cited
LLAMA: Leveraging Learning to Automatically Manage Algorithms
Lars Kotthoff
Algorithm portfolio and selection approaches have achieved remarkable improvements over single solvers. However, the implementation of such systems is often highly customised and s…