Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1306.5606
Cited By
v1
v2 (latest)
Proteus: A Hierarchical Portfolio of Solvers and Transformations
24 June 2013
B. Hurley
Lars Kotthoff
Y. Malitsky
Barry O'Sullivan
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Proteus: A Hierarchical Portfolio of Solvers and Transformations"
14 / 14 papers shown
Title
Automatic Feature Learning for Essence: a Case Study on Car Sequencing
Alessio Pellegrino
Ozgur Akgun
Nguyen Dang
Z. Kiziltan
Ian Miguel
68
0
0
23 Sep 2024
Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
Felix Ulrich-Oltean
Peter William Nightingale
James Alfred Walker
61
1
0
18 Jul 2023
sunny-as2: Enhancing SUNNY for Algorithm Selection
Tong Liu
R. Amadini
J. Mauro
M. Gabbrielli
17
6
0
07 Sep 2020
Learning Robust Search Strategies Using a Bandit-Based Approach
Wei Xia
R. Yap
49
32
0
10 May 2018
The Algorithm Selection Competitions 2015 and 2017
Marius Lindauer
Jan N. van Rijn
Lars Kotthoff
63
38
0
03 May 2018
A Review of Literature on Parallel Constraint Solving
Ian P. Gent
Ciaran McCreesh
Ian Miguel
Neil C. A. Moore
Peter William Nightingale
P. Prosser
Chris Unsworth
33
19
0
29 Mar 2018
Predicting SMT Solver Performance for Software Verification
Andrew Healy
Rosemary Monahan
James F. Power
59
15
0
30 Jan 2017
ICON Challenge on Algorithm Selection
Lars Kotthoff
39
20
0
12 Nov 2015
The Inductive Constraint Programming Loop
C. Bessiere
Luc de Raedt
Tias Guns
Lars Kotthoff
M. Nanni
Siegfried Nijssen
Barry O'Sullivan
Anastasia Paparrizou
D. Pedreschi
Helmut Simonis
59
18
0
12 Oct 2015
ASlib: A Benchmark Library for Algorithm Selection
B. Bischl
P. Kerschke
Lars Kotthoff
Marius Lindauer
Y. Malitsky
...
Holger Hoos
Frank Hutter
Kevin Leyton-Brown
Kevin Tierney
Joaquin Vanschoren
81
221
0
08 Jun 2015
Short Portfolio Training for CSP Solving
Mirko Stojadinovic
Mladen Nikolic
Filip Marić
34
4
0
08 May 2015
A Multicore Tool for Constraint Solving
R. Amadini
M. Gabbrielli
J. Mauro
65
42
0
13 Feb 2015
LLAMA: Leveraging Learning to Automatically Manage Algorithms
Lars Kotthoff
150
42
0
05 Jun 2013
Algorithm Selection for Combinatorial Search Problems: A Survey
Lars Kotthoff
109
373
0
30 Oct 2012
1