An Empirical Evaluation of Portfolios Approaches for Solving CSPs, In CPAIOR. Lecture Notes in Computer Science, vol.7874, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909297
Features for Building CSP Portfolio Solvers, 2013. ,
An Enhanced Features Extractor for a Portfolio of Constraint Solvers, SAC, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01089183
Portfolio Approaches for Constraint Optimization Problems, LION, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01088429
A survey of cross-validation procedures for model selection, Statistics Surveys, vol.4, pp.40-79, 2010. ,
Compiling and executing declarative modeling languages to gecode, ICLP. Lecture Notes in Computer Science, pp.744-748, 2008. ,
Model Expansion in the Presence of Function Symbols Using Constraint Programming, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, pp.1068-1075, 2013. ,
DOI : 10.1109/ICTAI.2013.159
Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework, In CPAIOR. Lecture Notes in Computer Science, vol.3011, pp.380-386, 2004. ,
A Portfolio Solver for Answer Set Programming: Preliminary Report, In LPNMR. Lecture Notes in Computer Science, vol.6645, pp.352-357, 2011. ,
Algorithm portfolios, Artif. Intell, vol.126, pp.1-2, 2001. ,
aspeed: ASP-based Solver Scheduling, ICLP (Technical Communications, pp.176-187, 2012. ,
Algorithm Runtime Prediction: The State of the Art, 2012. ,
Algorithm Selection and Scheduling ISAC -Instance-Specific Algorithm Configuration, ECAI. Frontiers in Artificial Intelligence and Applications, 2010. ,
Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering, IJCAI. IJCAI/AAAI, 2013. ,
Instance-Specific Algorithm Configuration as a Method for Non-Model-Based Portfolio Generation, In CPAIOR. Lecture Notes in Computer Science, vol.7298, 2012. ,
The Multi-Engine ASP Solver me-asp, In JELIA. Lecture Notes in Computer Science, vol.7519, pp.484-487, 2012. ,
Instance-Based Selection of Policies for SAT Solvers, SAT. Lecture Notes in Computer Science, pp.326-340, 2009. ,
Using casebased reasoning in an algorithm portfolio for constraint solving, 2009. ,
A Multi-engine Solver for Quantified Boolean Formulas, In CP. Lecture Notes in Computer Science, vol.4741, pp.574-589, 2007. ,
A self-adaptive multi-engine solver for quantified boolean formulas, Constraints, vol.14, issue.1, pp.80-116, 2009. ,
Snappy: A simple algorithm portfolio, SAT. Lecture Notes in Computer Science, pp.422-428, 2013. ,
Collaborative expert portfolio management, AAAI, 2010. ,
Case-Based Recommender Components for Scientific Problem-Solving Environments, Procs. of the 16th International Association for Mathematics and Computers in Simulation World Congress, 2000. ,
SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT, In CP. Lecture Notes in Computer Science, vol.4741, 2007. ,
SATzilla2012: Improved algorithm selection based on cost-sensitive classification models. Solver description, SAT Challenge, 2012. ,