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

Roberto Amadini 1, 2, * Maurizio Gabbrielli 2, 1 Jacopo Mauro 2, 1
* Auteur correspondant
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.
Type de document :
Communication dans un congrès
LOPSTR, Jul 2015, Siena, Italy
Liste complète des métadonnées

Littérature citée [62 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01227598
Contributeur : Amadini Roberto <>
Soumis le : mercredi 11 novembre 2015 - 16:57:09
Dernière modification le : samedi 27 janvier 2018 - 01:31:38
Document(s) archivé(s) le : vendredi 28 avril 2017 - 06:38:42

Fichier

lopstr_2015.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01227598, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

150

Téléchargements de fichiers

163