Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers

Abstract

Scheduling a subset of solvers belonging to a given portfolio has proven to be a good strategy when solving Constraint Satisfaction Problems (CSPs). In this paper, we show that this approach can also be effective for Constraint Optimization Problems (COPs). Unlike CSPs, sequential execution of optimization solvers can communicate information in the form of bounds to improve the performance of the following solvers. We provide a hybrid and flexible portfolio approach that combines static and dynamic time splitting for solving a given COP. Empirical evaluations show the approach is promising and sometimes even able to outperform the best solver of the porfolio.

DOI: 10.1007/978-3-319-10428-7_11

Extracted Key Phrases

4 Figures and Tables

Cite this paper

@inproceedings{Amadini2014SequentialTS, title={Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers}, author={Roberto Amadini and Peter J. Stuckey}, booktitle={CP}, year={2014} }