Proteus: A Hierarchical Portfolio of Solvers and Transformations

v1v2 (latest)

Proteus: A Hierarchical Portfolio of Solvers and Transformations

24 June 2013

Barry O'Sullivan

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 65 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 61 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 83 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 112 373 0 30 Oct 2012