A Multi-Engine Approach to Answer Set Programming

20 June 2013

Papers citing "A Multi-Engine Approach to Answer Set Programming"

2 / 2 papers shown

Title
ParamILS: An Automatic Algorithm Configuration Framework Frank Hutter Thomas Stuetzle Kevin Leyton-Brown T. Stützle 83 1,068 0 15 Jan 2014
SATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Frank Hutter Holger H. Hoos Kevin Leyton-Brown 98 975 0 31 Oct 2011