SUNNY: a Lazy Portfolio Approach for Constraint Solving

Roberto Amadini 1, 2 Maurizio Gabbrielli 1, 2 Jacopo Mauro 2, 1
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : Within the context of constraint solving, a portfolio approach allows one to exploit the synergy between different solvers in order to create a globally better solver. In this paper we present SUNNY: a simple and flexible algorithm that takes advantage of a portfolio of constraint solvers in order to compute — without learning an explicit model — a schedule of them for solving a given Constraint Satisfaction Problem (CSP). Motivated by the performance reached by SUNNY vs. different simulations of other state of the art approaches, we developed sunny-csp, an effective portfolio solver that exploits the underlying SUNNY algorithm in order to solve a given CSP. Empirical tests conducted on exhaustive benchmarks of MiniZinc models show that the actual performance of sunny-csp conforms to the predictions. This is encouraging both for improving the power of CSP portfolio solvers and for trying to export them to fields such as Answer Set Programming and Constraint Logic Programming.
Document type :
Journal articles
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.inria.fr/hal-01088489
Contributor : Jacopo Mauro <>
Submitted on : Friday, November 28, 2014 - 10:10:50 AM
Last modification on : Saturday, January 27, 2018 - 1:31:49 AM
Long-term archiving on : Friday, April 14, 2017 - 10:45:47 PM

File

iclp_2014.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01088489, version 1

Collections

Citation

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY: a Lazy Portfolio Approach for Constraint Solving. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2014, pp.509-524. ⟨hal-01088489⟩

Share

Metrics

Record views

186

Files downloads

210