SUNNY with Algorithm Configuration

Tong Liu 1 Roberto Amadini 2 Jacopo Mauro 3
3 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : The SUNNY algorithm is a portfolio technique originally tailored for Constraint Satisfaction Problems (CSPs). SUNNY allows to select a set of solvers to be run on a given CSP, and was proven to be effective in the MiniZinc Challenge, i.e., the yearly international competition for CP solvers. In 2015, SUNNY was compared with other solver selectors in the first ICON Challenge on algorithm selection with less satisfactory performance. In this paper we briefly describe the new version of the SUNNY approach for algorithm selection, that was submitted to the first Open Algorithm Selection Challenge.
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-01674691
Contributor : Tong Liu <>
Submitted on : Wednesday, January 3, 2018 - 2:11:49 PM
Last modification on : Wednesday, October 10, 2018 - 10:08:57 AM
Long-term archiving on : Thursday, May 3, 2018 - 10:03:11 AM

File

liu17a-2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01674691, version 1

Collections

Citation

Tong Liu, Roberto Amadini, Jacopo Mauro. SUNNY with Algorithm Configuration. OASC 2017 - Open Algorithm Selection Challenge, Sep 2017, Brussels, Belgium. pp.12-14. ⟨hal-01674691⟩

Share

Metrics

Record views

139

Files downloads

167