ResearchTrend.AI
Proteus: A Hierarchical Portfolio of Solvers and Transformations

Proteus: A Hierarchical Portfolio of Solvers and Transformations

B. Hurley
Lars Kotthoff
Y. Malitsky
Barry O'Sullivan
ArXivPDFHTML

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

8 / 8 papers shown
Title
Predicting SMT Solver Performance for Software Verification
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
Symbiosis of Search and Heuristics for Random 3-SAT
S. Mijnders
B. D. Wilde
Marijn J. H. Heule
35
19
0
18 Feb 2014
LLAMA: Leveraging Learning to Automatically Manage Algorithms
LLAMA: Leveraging Learning to Automatically Manage Algorithms
Lars Kotthoff
70
42
0
05 Jun 2013
Algorithm Selection for Combinatorial Search Problems: A Survey
Algorithm Selection for Combinatorial Search Problems: A Survey
Lars Kotthoff
69
372
0
30 Oct 2012
SATzilla: Portfolio-based Algorithm Selection for SAT
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
Machine learning for constraint solver design -- A case study for the alldifferent constraint
Ian P. Gent
Lars Kotthoff
Ian Miguel
Peter William Nightingale
AI4CE
54
13
0
25 Aug 2010
Restart Strategy Selection using Machine Learning Techniques
Restart Strategy Selection using Machine Learning Techniques
Shai Haim
T. Walsh
87
46
0
29 Jul 2009
XML Representation of Constraint Networks: Format XCSP 2.1
XML Representation of Constraint Networks: Format XCSP 2.1
Olivier Roussel
Christophe Lecoutre
60
81
0
13 Feb 2009