Proteus: A Hierarchical Portfolio of Solvers and Transformations

24 June 2013

Papers citing "Proteus: A Hierarchical Portfolio of Solvers and Transformations"

8 / 8 papers shown

Title
Predicting SMT Solver Performance for Software Verification Andrew Healy Rosemary Monahan James F. Power 37 15 0 30 Jan 2017
Symbiosis of Search and Heuristics for Random 3-SAT S. Mijnders B. D. Wilde Marijn J. H. Heule 37 19 0 18 Feb 2014
LLAMA: Leveraging Learning to Automatically Manage Algorithms Lars Kotthoff 72 42 0 05 Jun 2013
Algorithm Selection for Combinatorial Search Problems: A Survey Lars Kotthoff 69 372 0 30 Oct 2012
SATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu Frank Hutter Holger H. Hoos Kevin Leyton-Brown 98 975 0 31 Oct 2011
Machine learning for constraint solver design -- A case study for the alldifferent constraint Ian P. Gent Lars Kotthoff Ian Miguel Peter William Nightingale AI4CE 56 13 0 25 Aug 2010
Restart Strategy Selection using Machine Learning Techniques Shai Haim T. Walsh 92 46 0 29 Jul 2009
XML Representation of Constraint Networks: Format XCSP 2.1 Olivier Roussel Christophe Lecoutre 60 81 0 13 Feb 2009