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

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Holger Hoos

Value propagation-based spatio-temporal interpolation inspired by Markov reward processes


Jun 01, 2021
Laurens Arp, Mitra Baratchi, Holger Hoos


  Access Paper or Ask Questions

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