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
In Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers...
Abstract. Recent research in areas such as SAT solving and Integer Linear Programming has shown that...
none3noWithin the context of constraint solving, a portfolio approach allows one to exploit the syne...
It is well recognized that a single, arbitrarily efficient solver can be significantly outperformed ...
International audienceIt is well recognized that a single, arbitrarily efficient solver can be signi...
Recent research has shown that the performance of a single, arbitrarily efficient algorithm can be s...
Recent research has shown that the performance of a single, arbitrarily efficient algorithm can be s...
The Constraint Programming (CP) paradigm allows to model and solve Constraint Satisfaction/Optimizat...
In the context of Constraint Programming, a portfolio approach exploits the complementary strengths ...
Recent research has shown that the performance of a single, arbitrarily efficient algorithm can be s...
In Constraint Programming (CP), a portfolio solver uses a variety of different solvers for solving a...
Within the Constraint Satisfaction Problems (CSP) context, a methodology that has proven to be parti...
International audienceThe Constraint Programming (CP) paradigm allows to model and solve Constraint ...
In Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers...
Abstract. Recent research in areas such as SAT solving and Integer Linear Programming has shown that...
none3noWithin the context of constraint solving, a portfolio approach allows one to exploit the syne...
It is well recognized that a single, arbitrarily efficient solver can be significantly outperformed ...
International audienceIt is well recognized that a single, arbitrarily efficient solver can be signi...
Recent research has shown that the performance of a single, arbitrarily efficient algorithm can be s...
Recent research has shown that the performance of a single, arbitrarily efficient algorithm can be s...
The Constraint Programming (CP) paradigm allows to model and solve Constraint Satisfaction/Optimizat...
In the context of Constraint Programming, a portfolio approach exploits the complementary strengths ...
Recent research has shown that the performance of a single, arbitrarily efficient algorithm can be s...
In Constraint Programming (CP), a portfolio solver uses a variety of different solvers for solving a...
Within the Constraint Satisfaction Problems (CSP) context, a methodology that has proven to be parti...
International audienceThe Constraint Programming (CP) paradigm allows to model and solve Constraint ...
In Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers...
Abstract. Recent research in areas such as SAT solving and Integer Linear Programming has shown that...
none3noWithin the context of constraint solving, a portfolio approach allows one to exploit the syne...