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.
Why CP portfolio solvers are (under)utilized? Issues and challenges / Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo. - STAMPA. - 9527:(2015), pp. 349-364. (Intervento presentato al convegno 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015 tenutosi a ita nel 2015) [10.1007/978-3-319-27436-2_21].
Why CP portfolio solvers are (under)utilized? Issues and challenges
Amadini, Roberto;GABBRIELLI, MAURIZIO;
2015
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.