Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
The Configurable SAT Solver Challenge (CSSC)

Aug 02, 2016
Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger Hoos, Kevin Leyton-Brown


  Access Paper or Ask Questions

ASlib: A Benchmark Library for Algorithm Selection

Apr 06, 2016
Bernd Bischl, Pascal Kerschke, Lars Kotthoff, Marius Lindauer, Yuri Malitsky, Alexandre Frechette, Holger Hoos, Frank Hutter, Kevin Leyton-Brown, Kevin Tierney, Joaquin Vanschoren

* Accepted to be published in Artificial Intelligence Journal 

  Access Paper or Ask Questions

claspfolio 2: Advances in Algorithm Selection for Answer Set Programming

May 07, 2014
Holger Hoos, Marius Lindauer, Torsten Schaub

* To appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Solver Scheduling via Answer Set Programming

Jan 06, 2014
Holger Hoos, Roland Kaminski, Marius Lindauer, Torsten Schaub

* To appear in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Bayesian Optimization With Censored Response Data

Oct 07, 2013
Frank Hutter, Holger Hoos, Kevin Leyton-Brown

* Extended version of NIPS 2011 workshop paper 

  Access Paper or Ask Questions