R. Amadini, M. Gabbrielli, and J. Mauro, Abstract, Theory and Practice of Logic Programming, vol.41, issue.4-5, pp.509-524, 2014.
DOI : 10.1007/s10601-008-9051-2

R. Amadini, M. Gabbrielli, and J. Mauro, A Multicore Tool for Constraint Solving, IJCAI, 2015. Pre-print available at
URL : https://hal.archives-ouvertes.fr/hal-01227592

R. Amadini, M. Gabbrielli, and J. Mauro, Portfolio approaches for constraint optimization problems. AMAI, pp.1-18, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01088429

R. Amadini, M. Gabbrielli, and J. Mauro, SUNNY-CP, Proceedings of the 30th Annual ACM Symposium on Applied Computing, SAC '15
DOI : 10.1145/2695664.2695741

URL : https://hal.archives-ouvertes.fr/hal-01227589

C. P. Gomes and B. Selman, Algorithm portfolios, Artificial Intelligence, vol.126, issue.1-2, pp.43-62, 2001.
DOI : 10.1016/S0004-3702(00)00081-3

L. Kotthoff, Algorithm Selection for Combinatorial Search Problems: A Survey, AI Magazine, vol.17, issue.10, pp.48-60, 2014.
DOI : 10.1007/978-3-642-31612-8_18

L. Pulina and A. Tacchella, A self-adaptive multi-engine solver for quantified Boolean formulas, Constraints, vol.2, issue.1, pp.80-116, 2009.
DOI : 10.1007/s10601-008-9051-2

J. R. Rice, The Algorithm Selection Problem, Advances in Computers, vol.15, pp.65-118, 1976.
DOI : 10.1016/S0065-2458(08)60520-3

K. A. Smith-miles, Towards insightful algorithm selection for optimisation using metalearning concepts, IJCNN, pp.4118-4124, 2008.