Short Portfolio Training for CSP Solving

8 May 2015

Papers citing "Short Portfolio Training for CSP Solving"

6 / 6 papers shown

Title
ParamILS: An Automatic Algorithm Configuration Framework Frank Hutter Thomas Stuetzle Kevin Leyton-Brown T. Stützle 80 1,068 0 15 Jan 2014
Proteus: A Hierarchical Portfolio of Solvers and Transformations B. Hurley Lars Kotthoff Y. Malitsky Barry O'Sullivan 51 67 0 24 Jun 2013
An Empirical Evaluation of Portfolios Approaches for solving CSPs R. Amadini M. Gabbrielli J. Mauro 62 35 0 04 Dec 2012
SATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Frank Hutter Holger H. Hoos Kevin Leyton-Brown 98 975 0 31 Oct 2011
Simple Algorithm Portfolio for SAT Mladen Nikolic Filip Marić Predrag Janičić 77 38 0 01 Jul 2011
XML Representation of Constraint Networks: Format XCSP 2.1 Olivier Roussel Christophe Lecoutre 60 81 0 13 Feb 2009