Solver Scheduling via Answer Set Programming

Solver Scheduling via Answer Set Programming

6 January 2014

Holger Hoos

Roland Kaminski

Marius Lindauer

ArXiv (abs)PDF HTML

Papers citing "Solver Scheduling via Answer Set Programming"

12 / 12 papers shown

Title
Greedy Restart Schedules: A Baseline for Dynamic Algorithm Selection on Numerical Black-box Optimization Problems Lennart Schäpermeier 107 0 0 15 Apr 2025
Automated Dynamic Algorithm Configuration Steven Adriaensen André Biedenkapp Gresa Shala Noor H. Awad Theresa Eimer Marius Lindauer Frank Hutter 106 39 0 27 May 2022
On the Configuration of More and Less Expressive Logic Programs Carmine Dodaro Marco Maratea Mauro Vallati 64 1 0 02 Mar 2022
Parallel Logic Programming: A Sequel A. Dovier Andrea Formisano G. Gupta M. Hermenegildo Enrico Pontelli Ricardo Rocha LRM 46 10 0 22 Nov 2021
Learning to Schedule Heuristics in Branch-and-Bound Antonia Chmiela Elias Boutros Khalil Ambros M. Gleixner Andrea Lodi Sebastian Pokutta 97 62 0 18 Mar 2021
The Algorithm Selection Competitions 2015 and 2017 Marius Lindauer Jan N. van Rijn Lars Kotthoff 73 38 0 03 May 2018
A Review of Literature on Parallel Constraint Solving Ian P. Gent Ciaran McCreesh Ian Miguel Neil C. A. Moore Peter William Nightingale P. Prosser Chris Unsworth 44 19 0 29 Mar 2018
A case study of algorithm selection for the traveling thief problem Markus Wagner Marius Lindauer Mustafa Misir Samadhi Nallaperuma Frank Hutter 71 66 0 02 Sep 2016
ASlib: A Benchmark Library for Algorithm Selection B. Bischl P. Kerschke Lars Kotthoff Marius Lindauer Y. Malitsky ... Holger Hoos Frank Hutter Kevin Leyton-Brown Kevin Tierney Joaquin Vanschoren 100 221 0 08 Jun 2015
A Multicore Tool for Constraint Solving R. Amadini M. Gabbrielli J. Mauro 77 42 0 13 Feb 2015
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming Holger Hoos Marius Lindauer Torsten Schaub 109 85 0 07 May 2014
Algorithm Selection for Combinatorial Search Problems: A Survey Lars Kotthoff 123 373 0 30 Oct 2012