Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers An Enhanced Features Extractor for a Portfolio of Constraint Solvers Portfolio Approaches for Constraint Optimization Problems, SAC LION, 2014. [Amadini et al., 2014c] Roberto Amadini, Maurizio Gabbrielli , and Jacopo Mauro. SUNNY: a Lazy Portfolio Approach for Constraint Solving. TPLP, 2014. [Amadini et al., 2015] Roberto Amadini, Maurizio Gabbrielli , and Jacopo Mauro. SUNNY-CP: a Sequential CP Portfolio Solver SAC, 2014. ,
Resourceconstrained project scheduling: Notation, classification, models, and methods, European journal of operational research, 1999. ,
DOI : 10.1016/s0377-2217(98)00204-5
Andre Cire, Serdar Kadioglu, and Meinolf Sellmann. Parallel restarted search, AAAI, 2014. ,
Algorithm portfolios, Artificial Intelligence, vol.126, issue.1-2, 2001. ,
DOI : 10.1016/S0004-3702(00)00081-3
Advances in Algorithm Selection for Answer Set Programming, Marius Thomas Lindauer, and Torsten Schaub. aspeed: Solver scheduling via answer set programming, 2014. ,
From Sequential Algorithm Selection to Parallel Portfolio Selection Frank Hutter, Holger H. Hoos, and Kevin Leyton-Brown. Sequential Model-Based Optimization for General Algorithm Configuration ISAC -Instance- Specific Algorithm Configuration, LION ECAI, 2010. ,
Algorithm Selection and Scheduling, CP, 2011. [Malitsky et al., 2012] Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, and Meinolf Sellmann. Parallel SAT Solver Selection and Scheduling CP, 2011. ,
DOI : 10.1007/978-3-642-23786-7_35
Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering, IJCAI, 2013. ,
MiniZinc: Towards a Standard CP Modelling Language, CP, 2007. ,
DOI : 10.1007/978-3-540-74970-7_38
Using case-based reasoning in an algorithm portfolio for constraint solving, AICS, 2008. ,
The Algorithm Selection Problem, Advances in Computers, 1976. ,
Philosophy of the MiniZinc challenge ArvandHerd: Parallel Planning with a Portfolio, ECAI, 2010. ,
SATzilla: Portfolio-based Algorithm Selection for SAT, JAIR, 2008. ,
Learning Algorithm Portfolios for Parallel Execution, 2012. ,
DOI : 10.1007/978-3-642-34413-8_23