claspfolio 2: Advances in Algorithm Selection for Answer Set Programming

7 May 2014

Holger Hoos

Papers citing "claspfolio 2: Advances in Algorithm Selection for Answer Set Programming"

5 / 5 papers shown

Title
Solver Scheduling via Answer Set Programming Holger Hoos Roland Kaminski Marius Lindauer Torsten Schaub 76 43 0 06 Jan 2014
A Multi-Engine Approach to Answer Set Programming Marco Maratea Luca Pulina Francesco Ricca 52 77 0 20 Jun 2013
LLAMA: Leveraging Learning to Automatically Manage Algorithms Lars Kotthoff 78 42 0 05 Jun 2013
SATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Frank Hutter Holger H. Hoos Kevin Leyton-Brown 98 975 0 31 Oct 2011
Translating Answer-Set Programs into Bit-Vector Logic Mai Nguyen Tomi Janhunen I. Niemelä LRM 45 23 0 30 Aug 2011