Skip to Main content Skip to Navigation
Conference papers

Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges

Roberto Amadini 1, 2, * Maurizio Gabbrielli 2, 1 Jacopo Mauro 2, 1
* Corresponding author
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : It is well recognized that a single, arbitrarily efficient solver can be significantly outperformed by a portfolio solver exploiting a combination of possibly slower on-average different solvers. Despite the success of portfolio solvers within the context of solving competitions, they are rarely used in practice. In this paper we give an overview of the main limitations that hinder the practical adoption and development of portfolio solvers within the Constraint Programming (CP) paradigm, discussing also possible ways to overcome them and potential extensions outside the CP field.
Document type :
Conference papers
Complete list of metadata

Cited literature [62 references]  Display  Hide  Download
Contributor : Amadini Roberto Connect in order to contact the contributor
Submitted on : Wednesday, November 11, 2015 - 4:57:09 PM
Last modification on : Friday, October 30, 2020 - 12:04:03 PM
Long-term archiving on: : Friday, April 28, 2017 - 6:38:42 AM


Files produced by the author(s)


  • HAL Id : hal-01227598, version 1



Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. LOPSTR, Jul 2015, Siena, Italy. ⟨hal-01227598⟩



Les métriques sont temporairement indisponibles