G. S. Almasi and A. Gottlieb, Highly Parallel Computing, 1989.

R. Amadini, M. Gabbrielli, and J. Mauro, An Empirical Evaluation of Portfolios Approaches for Solving CSPs, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, pp.316-324, 2013.
DOI : 10.1007/978-3-642-38171-3_21

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

G. Amdahl, Validity of the single processor approach to achieving large scale computing capabilities, Proceedings of the April 18-20, 1967, spring joint computer conference on, AFIPS '67 (Spring), pp.483-485, 1967.
DOI : 10.1145/1465482.1465560

D. P. Anderson, J. Cobb, E. Korpela, M. Lebofsky, and D. Werthimer, SETI@home: an experiment in public-resource computing, Communications of the ACM, vol.45, issue.11, pp.45-56, 2002.
DOI : 10.1145/581571.581573

M. D. Atkinson and A. Hassenklover, Sets of Integers with Distinct Differences Tech, 1984.

D. Bader, W. Hart, C. Phillips, B. In, G. et al., Parallel Algorithm Design for Branch and Bound, Tutorials on Emerging Methodologies and Applications in Operations Research of International Series in Operations Research & Management Science, pp.5-6, 2005.
DOI : 10.1007/0-387-22827-6_5

B. Barney and L. Livermore, Introduction to Parallel Computing https, 2016.

M. A. Bauer, High performance computing, Proceedings of the 2007 international workshop on Parallel symbolic computation, PASCO '07, pp.11-12, 2007.
DOI : 10.1145/1278177.1278180

C. Beck, P. Prosser, and R. Wallace, Trying Again to Fail-First In Recent Advances in Constraints, pp.41-55, 2005.

L. Bordeaux, Y. Hamadi, and H. Samulowitz, Experiments with Massively Parallel Constraint Solving, pp.443-448, 2009.

F. Boussemart, F. Hemery, C. Lecoutre, and L. Sais, Boosting Systematic Search by Weighting Constraints, Proceedings of the 16 th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS, pp.146-150, 2004.

S. J. Brams, P. C. Fishburn, A. K. Sen, and . Suzumura, Chapter 4 Voting procedures, Handbook of Social Choice and Welfare Handbook of Social Choice and Welfare, vol.1, issue.4, pp.173-236, 2002.
DOI : 10.1016/S1574-0110(02)80008-X

M. Budiu, D. Delling, and R. Werneck, DryadOpt: Branch-and-Bound on Distributed Data-Parallel Execution Engines, 2011 IEEE International Parallel & Distributed Processing Symposium, pp.1278-1289, 2011.
DOI : 10.1109/IPDPS.2011.121

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.226.2961

F. W. Burton and M. R. Sleep, Executing functional programs on a virtual tree of processors, Proceedings of the 1981 conference on Functional programming languages and computer architecture , FPCA '81, pp.187-194, 1981.
DOI : 10.1145/800223.806778

N. Capit, G. Da-costa, Y. Georgiou, G. Huard, C. Martin et al., A batch scheduler with high level components, CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005., pp.776-783, 2005.
DOI : 10.1109/CCGRID.2005.1558641

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

T. Choco, Choco: an open source java constraint programming library Ecole des Mines de Nantes, Research report, vol.1, pp.10-12, 2010.

Y. L. Chong and Y. Hamadi, Distributed Log-Based Reconciliation The Netherlands, The Netherlands, Proceedings of the 2006 Conference on ECAI 2006: 17th European Conference on Artificial Intelligence, pp.108-112, 2006.

G. Chu, C. Schulte, and P. J. Stuckey, Confidence-Based Work Stealing in Parallel Constraint Programming, Lecture Notes in Computer Science, vol.39, pp.226-241, 2009.
DOI : 10.1007/978-3-540-30201-8_41

G. Chu, P. J. Stuckey, and A. Harwood, PMiniSAT: A Parallelization of MiniSAT 2, National ICT Australia, 2008.

A. A. Cire, S. Kadioglu, and M. Sellmann, Parallel Restarted Search, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, AAAI'14, pp.842-848, 2014.

G. Cornuéjols, M. Karamanov, and Y. Li, Early Estimates of the Size of Branch-and-Bound Trees, INFORMS Journal on Computing, vol.18, issue.1, pp.86-96, 2006.
DOI : 10.1287/ijoc.1040.0107

T. G. Crainic, B. Le-cun, and C. Roucairol, Parallel branch-and-bound algorithms Parallel combinatorial optimization, pp.1-28, 2006.

D. Kergommeaux, J. C. Codognet, and P. , Parallel logic programming systems, ACM Computing Surveys, vol.26, issue.3, pp.295-336, 1994.
DOI : 10.1145/185403.185453

URL : https://hal.archives-ouvertes.fr/inria-00076926

N. Een and N. Sörensson, MiniSat: A SAT solver with conflict-clause minimization Sat, 2005.

R. Ezzahir, C. Bessì-ere, M. Belaissaoui, and E. H. Bouyakhf, DisChoco: A platform for distributed constraint programming In DCR'07: Eighth International Workshop on Distributed Constraint Reasoning -In conjunction with IJCAI'07, pp.16-21, 2007.

M. Fischetti, M. Monaci, and D. Salvagnin, Self-splitting of Workload in Parallel Computation, Integration of AI and OR Techniques in Constraint Programming: 11th International Conference, pp.394-404, 2014.
DOI : 10.1007/978-3-319-07046-9_28

E. Gabriel, G. Fagg, G. Bosilca, T. Angskun, J. Dongarra et al., Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation, Recent Advances in Parallel Virtual Machine and Message Passing Interface, pp.97-104, 2004.
DOI : 10.1007/978-3-540-30218-6_19

F. C. Galea and B. Le-cun, Bob++ : a Framework for Exact Combinatorial Optimization Methods on Parallel Machines In International Conference High Performance Computing & Simulation, HPCS'07) and in conjunction with The 21 st European Conference on Modeling and Simulation, pp.779-785, 2007.

P. Galinier, B. Jaumard, R. Morales, and G. Pesant, A Constraint-Based Approach to the Golomb Ruler Problem, 2001.

B. Gendron and T. G. Crainic, Parallel branch-and-bound algorithms: Survey and synthesis Operations research, pp.1042-1066, 1994.
DOI : 10.1287/opre.42.6.1042

I. Gent and T. Walsh, CSPlib: A Benchmark Library for Constraints, Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming, CP '99, pp.480-481, 1999.
DOI : 10.1007/978-3-540-48085-3_36

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.4201

C. Gomes and B. Selman, Algorithm Portfolio Design: Theory vs, Practice In Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence, pp.190-197, 1997.

C. Gomes and B. Selman, Search strategies for hybrid search spaces In Tools with Artificial Intelligence, Proceedings. 11 th IEEE International Conference, pp.359-364, 1999.

C. Gomes and B. Selman, HYBRID SEARCH STRATEGIES FOR HETEROGENEOUS SEARCH SPACES, International Journal on Artificial Intelligence Tools, vol.09, issue.01, pp.45-57, 2000.
DOI : 10.1142/S0218213000000057

C. 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

W. Gropp and E. Lusk, The MPI communication library: its design and a portable implementation In Scalable Parallel Libraries Conference, Proceedings of the, pp.160-165, 1993.

G. Gupta, E. Pontelli, K. A. Ali, M. Carlsson, and M. V. Hermenegildo, Parallel execution of prolog programs: a survey, ACM Transactions on Programming Languages and Systems, vol.23, issue.4, pp.472-602, 2001.
DOI : 10.1145/504083.504085

R. Halstead, Implementation of multilisp, Proceedings of the 1984 ACM Symposium on LISP and functional programming , LFP '84, pp.9-17, 1984.
DOI : 10.1145/800055.802017

Y. Hamadi, Optimal Distributed Arc-Consistency Constraints, pp.367-385, 2002.
DOI : 10.1007/978-3-540-48085-3_16

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.4108

Y. Hamadi, S. Jabbour, and L. Sais, ManySAT: a Parallel SAT Solver, Journal on Satisfiability Boolean Modeling and Computation, vol.6, issue.4, pp.245-262, 2008.

R. Haralick and G. Elliott, Increasing Tree Search Efficiency for Constraint Satisfaction Problems Artificial intelligence, pp.263-313, 1980.
DOI : 10.1016/0004-3702(80)90051-x

W. D. Harvey and M. L. Ginsberg, Limited Discrepancy Search, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pp.607-615, 1995.

M. J. Heule, O. Kullmann, S. Wieringa, and A. Biere, Cube and conquer: Guiding CDCL SAT solvers by lookaheads In Hardware and Software: Verification and Testing, pp.50-65, 2012.
DOI : 10.1007/978-3-642-34188-5_8

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.395

K. Hirayama and M. Yokoo, Distributed Partial Constraint Satisfaction Problem In Principles and Practice of Constraint Programming-CP97, pp.222-236, 1997.

P. Hyde, Java thread programming, 1999.

J. Jaffar, A. E. Santosa, R. H. Yap, and K. Q. Zhu, Scalable distributed depth-first search with greedy work stealing, 16th IEEE International Conference on Tools with Artificial Intelligence, pp.98-103, 2004.
DOI : 10.1109/ICTAI.2004.107

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.7497

L. Kale and S. Krishnan, CHARM++: a portable concurrent object oriented system based on C++, 1993.

S. Kasif, On the Parallel Complexity of Discrete Relaxation in Constraint Satisfaction networks Artificial Intelligence, pp.275-286, 1990.

H. Kjellerstrand, Håkan Kjellerstrand's Blog http, 2014.

S. Kleiman, D. Shah, and B. Smaalders, Programming with threads, 1996.

R. E. Korf and E. L. Schreiber, Optimally Scheduling Small Numbers of Identical Parallel Machines In, ICAPS. AAAI, 2013.

J. Krishna, P. Balaji, E. Lusk, R. Thakur, and F. Tiller, Implementing MPI on Windows: Comparison with Common Approaches on Unix, Implementing MPI on Windows: Comparison with Common Approaches on Unix In Recent Advances in the Message Passing Interface, pp.160-169, 2010.
DOI : 10.1007/978-3-642-15646-5_17

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.209

T. Lai and S. Sahni, Anomalies in Parallel Branch-and-bound Algorithms Commun, pp.594-602, 1984.
DOI : 10.1145/358080.358103

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.3044

E. Lantz, Windows HPC Server : Using Microsoft Message Passing Interface (MS- MPI), 2008.

T. Léauté, B. Ottens, and R. Szymanek, FRODO 2.0: An open-source framework for distributed constraint optimization, pp.160-164, 2009.

C. E. Leiserson, The Cilk++ concurrency platform, The Journal of Supercomputing, vol.8, issue.2, pp.244-257, 2010.
DOI : 10.1007/s11227-010-0405-3

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.462.8573

B. Lester, The art of parallel programming, 1993.

H. Li, Introducing Windows Azure, 2009.

M. Luby, A. Sinclair, and D. Zuckerman, Optimal speedup of Las Vegas algorithms, Information Processing Letters, vol.47, issue.4, pp.173-180, 1993.
DOI : 10.1016/0020-0190(93)90029-9

A. Malapert and C. Lecoutre, A propos de la bibliothèque de modèles XCSP, 10èmes Journées Francophones de Programmation par Contraintes(JFPC'15), 2014.

T. Mattson, B. Sanders, and B. Massingill, Patterns for Parallel Programming, 2004.

T. Menouer and B. Le-cun, Anticipated Dynamic Load Balancing Strategy to Parallelize Constraint Programming Search, 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum, pp.1771-1777, 2013.
DOI : 10.1109/IPDPSW.2013.210

T. Menouer and B. Le-cun, Adaptive N to P Portfolio for Solving Constraint Programming Problems on Top of the Parallel Bobpp Framework, 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014.
DOI : 10.1109/IPDPSW.2014.171

L. Michel, A. See, and P. V. Hentenryck, Transparent Parallelization of Constraint Programming, INFORMS Journal on Computing, vol.21, issue.3, pp.363-382, 2009.
DOI : 10.1287/ijoc.1080.0313

M. Milano and M. Trick, Constraint and Integer Programming: Toward a Unified Methodology, 2004.

T. Moisan, J. Gaudreault, and C. Quimper, Parallel Discrepancy-Based Search, Principles and Practice of Constraint Programming, pp.30-46, 2013.
DOI : 10.1007/978-3-642-40627-0_6

T. Moisan, C. Quimper, and J. Gaudreault, Parallel Depth-Bounded Discrepancy Search, Integration of AI and OR Techniques in Constraint Programming: 11th International Conference Proceedings, pp.377-393, 2014.
DOI : 10.1007/978-3-319-07046-9_27

M. Team, High-Performance Portable MPI http, 2015.

F. Mueller, A Library Implementation of POSIX Threads under UNIX, USENIX Winter, pp.29-42, 1993.

T. Nguyen and Y. Deville, A distributed arc-consistency algorithm, Science of Computer Programming, vol.30, issue.1-2, pp.227-250, 1998.
DOI : 10.1016/S0167-6423(97)00012-9

URL : http://doi.org/10.1016/s0167-6423(97)00012-9

M. Nielsen, Parallel Search in Gecode Master's thesis, 2006.

O. 'mahony, E. Hebrard, E. Holland, A. Nugent, C. Sullivan et al., Using casebased reasoning in an algorithm portfolio for constraint solving, Irish Conference on Artificial Intelligence and Cognitive Science, pp.210-216, 2008.

V. Pedro, S. Abreu, V. Pedro, and S. Abreu, Distributed Work Stealing for Constraint Solving CoRR, abs/1009, pp.1-18, 2010.

L. Perron, Search Procedures and Parallelism in Constraint Programming In Principles and Practice of Constraint Programming ? CP'99, 5th International Conference, CP'99, pp.346-360, 1999.

L. Perron, V. O. Nikolaj, and F. Vincent, Or-Tools Tech, 2012.

E. Pruul, G. Nemhauser, and R. Rushmeier, Branch-and-bound and Parallel Computation: A historical note Operations Research Letters, pp.65-69, 1988.
DOI : 10.1016/0167-6377(88)90067-3

P. Refalo, Impact-Based Search Strategies for Constraint Programming, Principles and Practice of Constraint Programming, 10th International Conference, pp.557-571, 2004.
DOI : 10.1007/978-3-540-30201-8_41

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.461.1328

J. Régin, M. Rezgui, and A. Malapert, Embarrassingly Parallel Search In Principles and Practice of Constraint Programming, 19th International Conference, CP 2013, pp.596-610, 2013.

J. Régin, M. Rezgui, and A. Malapert, Improvement of the Embarrassingly Parallel Search for Data Centers, Principles and Practice of Constraint Programming: 20th International Conference. Proceedings, pp.622-635, 2014.
DOI : 10.1007/978-3-319-10428-7_45

A. Rendl, T. Guns, P. Stuckey, and G. Tack, MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc, Principles and Practice of Constraint Programming: 21st International Conference Proceedings, pp.376-392, 2015.
DOI : 10.1007/978-3-319-23219-5_27

M. Rezgui, J. Régin, and A. Malapert, Using Cloud Computing for Solving Constraint Programming Problems In First Workshop on Cloud Computing and Optimization, 2014.

C. C. Rolf and K. Kuchcinski, Parallel Consistency in Constraint Programming PDPTA, The 2009 International Conference on Parallel and Distributed Processing Techniques and Applications, pp.638-644, 2009.

F. Rossi, P. Van-beek, and . Walsh, Handbook of Constraint Programming, 2006.

O. Roussel and C. Lecoutre, Xml representation of constraint networks format http, 2008.

C. Schulte, Parallel Search Made Simple In Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, pp.41-57, 2000.

C. Schulte, Gecode: Generic Constraint Development Environment http, 2006.

J. B. Shearer, Some new optimum Golomb rulers, IEEE Transactions on Information Theory, vol.36, issue.1, pp.183-184, 1990.
DOI : 10.1109/18.50388

K. Stephan and K. Michael, SArTagnan -A parallel portfolio SAT solver with lockless physical clause sharing, Pragmatics of SAT, 2011.

H. Sutter and J. Larus, The free lunch is over: A fundamental turn toward toward Concurrency Dr, Dobb's Journal, vol.30, pp.202-210, 2005.

P. Van-der-tak, M. J. Heule, and A. Biere, Concurrent Cube-and-Conquer, Theory and Applications of Satisfiability Testing?SAT 2012, pp.475-476, 2012.
DOI : 10.1007/978-3-642-31612-8_42

V. Vidal, L. Bordeaux, and Y. Hamadi, Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning, Proceedings of the Third International Symposium on Combinatorial Search, 2010.

M. Wahbi, R. Ezzahir, C. Bessiere, and E. Bouyakhf, DisChoco 2: A Platform for Distributed Constraint Reasoning, Proceedings of the IJCAI'11 workshop on Distributed Constraint Reasoning, pp.112-121, 2011.

B. Wilkinson and M. Allen, Parallel Programming: Techniques and Application Using Networked Workstations and Parallel Computers, 2005.

F. Xie and A. Davenport, Massively Parallel Constraint Programming for Supercomputers: Challenges and Initial Results, 7th International Conference, CPAIOR 2010. Proceedings, pp.334-338, 2010.
DOI : 10.1007/978-3-642-13520-0_36

L. Xu, H. Hoos, and K. Leyton-brown, Hydra, Proceedings of the 2005 ACM workshop on Storage security and survivability , StorageSS '05, pp.210-216, 2010.
DOI : 10.1145/1103780.1103797

L. Xu, F. Hutter, H. Hoos, and K. Leyton-brown, SATzilla: Portfolio-based Algorithm Selection for, Journal of Artificial Intelligence Research, vol.32, pp.565-606, 2008.

M. Yokoo, T. Ishida, and K. Kuwabara, Distributed Constraint Satisfaction for DAI Problems, Proceedings of the 1990 Distributed AI Workshop, 1990.

P. Zoeteweij and F. Arbab, A Component-Based Parallel Constraint Solver, Lecture Notes in Computer Science, vol.11, issue.4, pp.307-322, 2004.
DOI : 10.1145/952532.952605

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.3608