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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Amadini, R., Gabbrielli, M., Mauro, J.: An Empirical Evaluation of Portfolios Approaches for Solving CSPs. In: Gomes, C., Sellmann, M. (eds.) CPAIOR 2013. LNCS, vol. 7874, pp. 316–324. Springer, Heidelberg (2013)
Amadini, R., Gabbrielli, M., Mauro, J.: Features for Building CSP Portfolio Solvers. CoRR, abs/1308.0227 (2013)
Amadini, R., Gabbrielli, M., Mauro, J.: SUNNY: a Lazy Portfolio Approach for Constraint Solving. In: ICLP (2014), http://www.cs.unibo.it/~amadini/iclp_2014.pdf
Amadini, R., Gabbrielli, M., Mauro, J.: Portfolio Approaches for Constraint Optimization Problems. In: LION (2014), http://www.cs.unibo.it/~amadini/lion_2014.pdf
Amadini, R., Gabbrielli, M., Mauro, J.: An Enhanced Features Extractor for a Portfolio of Constraint Solvers. In: SAC (2014), http://www.cs.unibo.it/~amadini/sac_2014.pdf
Arlot, S., Celisse, A.: A survey of cross-validation procedures for model selection. Statistics Surveys 4, 40–79 (2010)
Audemard, G., Hoessen, B., Jabbour, S., Lagniez, J.-M., Piette, C.: PeneLoPe, a Parallel Clause-Freezer Solver. In: SAT Challenge 2012 (2012)
Berthold, T.: Measuring the impact of primal heuristics. Operations Research Letters 41(6), 611–614 (2013)
Carchrae, T., Beck, J.C.: Low-knowledge algorithm control. In: AAAI, pp. 49–54 (2004)
DeCat, B.: KRR Software: MinisatID (2013), http://dtai.cs.kuleuven.be/krr/software/minisatid
GECODE - An open, free, efficient constraint solving toolkit, http://www.gecode.org
Gomes, C.P., Selman, B.: Algorithm portfolios. Artif. Intell (2001)
Guo, H., Hsu, W.H.: A machine learning approach to algorithm selection for NP-hard optimization problems: a case study on the MPE problem. Annals OR 156(1), 61–82 (2007)
Hamadi, Y., Jabbour, S., Sais, L.: ManySAT: A Parallel SAT Solver. JSAT 6(4), 245–262 (2009)
Hutter, F., Xu, L., Hoos, H.H., Leyton-Brown, K.: Algorithm Runtime Prediction: The State of the Art. CoRR, abs/1211.0906 (2012)
Kadioglu, S., Malitsky, Y., Sabharwal, A., Samulowitz, H., Sellmann, M.: Algorithm Selection and Scheduling. In: Lee, J. (ed.) CP 2011. LNCS, vol. 6876, pp. 454–469. Springer, Heidelberg (2011)
Kadioglu, S., Malitsky, Y., Sellmann, M., Tierney, K.: ISAC - Instance-Specific Algorithm Configuration. In: ECAI 2010 (2010)
Kotthoff, L.: Algorithm Selection for Combinatorial Search Problems: A Survey. CoRR, abs/1210.7959 (2012)
Mackworth, A.K.: Consistency in Networks of Relations. Artif. Intell. (1977)
Malitsky, Y., Sabharwal, A., Samulowitz, H., Sellmann, M.: Boosting sequential solver portfolios: Knowledge sharing and accuracy prediction. In: Nicosia, G., Pardalos, P. (eds.) LION 7. LNCS, vol. 7997, pp. 153–167. Springer, Heidelberg (2013)
Minizinc version 1.6, http://www.minizinc.org/download.html
O’ Mahony, E., Hebrard, E., Holland, A., Nugent, C., O’ Sullivan, B.: Using case-based reasoning in an algorithm portfolio for constraint solving. In: AICS 2008 (2009)
Rice, J.R.: The Algorithm Selection Problem. Advances in Computers (1976)
Roussel, O.: ppfolio, http://www.cril.univ-artois.fr/~roussel/ppfolio/
Smith-Miles, K.: Cross-disciplinary perspectives on meta-learning for algorithm selection. ACM Comput. Surv. 41(1) (2008)
Telelis, O., Stamatopoulos, P.: Combinatorial Optimization through Statistical Instance-Based Learning. In: ICTAI (2001)
Xu, L., Hutter, F., Hoos, H.H., Leyton-Brown, K.: Hydra-MIP: Automated Algorithm Configuration and Selection for Mixed Integer Programming. In: RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Amadini, R., Stuckey, P.J. (2014). Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. In: O’Sullivan, B. (eds) Principles and Practice of Constraint Programming. CP 2014. Lecture Notes in Computer Science, vol 8656. Springer, Cham. https://doi.org/10.1007/978-3-319-10428-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-10428-7_11
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10427-0
Online ISBN: 978-3-319-10428-7
eBook Packages: Computer ScienceComputer Science (R0)