Highly Parallel Computing, 1989. ,
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
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
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
Sets of Integers with Distinct Differences Tech, 1984. ,
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
Introduction to Parallel Computing https, 2016. ,
High performance computing, Proceedings of the 2007 international workshop on Parallel symbolic computation, PASCO '07, pp.11-12, 2007. ,
DOI : 10.1145/1278177.1278180
Trying Again to Fail-First In Recent Advances in Constraints, pp.41-55, 2005. ,
Experiments with Massively Parallel Constraint Solving, pp.443-448, 2009. ,
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. ,
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
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
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
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
Choco: an open source java constraint programming library Ecole des Mines de Nantes, Research report, vol.1, pp.10-12, 2010. ,
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. ,
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
PMiniSAT: A Parallelization of MiniSAT 2, National ICT Australia, 2008. ,
Parallel Restarted Search, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, AAAI'14, pp.842-848, 2014. ,
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
Parallel branch-and-bound algorithms Parallel combinatorial optimization, pp.1-28, 2006. ,
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
MiniSat: A SAT solver with conflict-clause minimization Sat, 2005. ,
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. ,
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
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
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. ,
A Constraint-Based Approach to the Golomb Ruler Problem, 2001. ,
Parallel branch-and-bound algorithms: Survey and synthesis Operations research, pp.1042-1066, 1994. ,
DOI : 10.1287/opre.42.6.1042
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
Algorithm Portfolio Design: Theory vs, Practice In Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence, pp.190-197, 1997. ,
Search strategies for hybrid search spaces In Tools with Artificial Intelligence, Proceedings. 11 th IEEE International Conference, pp.359-364, 1999. ,
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
Algorithm portfolios, Artificial Intelligence, vol.126, issue.1-2, pp.43-62, 2001. ,
DOI : 10.1016/S0004-3702(00)00081-3
The MPI communication library: its design and a portable implementation In Scalable Parallel Libraries Conference, Proceedings of the, pp.160-165, 1993. ,
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
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
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
ManySAT: a Parallel SAT Solver, Journal on Satisfiability Boolean Modeling and Computation, vol.6, issue.4, pp.245-262, 2008. ,
Increasing Tree Search Efficiency for Constraint Satisfaction Problems Artificial intelligence, pp.263-313, 1980. ,
DOI : 10.1016/0004-3702(80)90051-x
Limited Discrepancy Search, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pp.607-615, 1995. ,
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
Distributed Partial Constraint Satisfaction Problem In Principles and Practice of Constraint Programming-CP97, pp.222-236, 1997. ,
Java thread programming, 1999. ,
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
CHARM++: a portable concurrent object oriented system based on C++, 1993. ,
On the Parallel Complexity of Discrete Relaxation in Constraint Satisfaction networks Artificial Intelligence, pp.275-286, 1990. ,
Håkan Kjellerstrand's Blog http, 2014. ,
Programming with threads, 1996. ,
Optimally Scheduling Small Numbers of Identical Parallel Machines In, ICAPS. AAAI, 2013. ,
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
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
Windows HPC Server : Using Microsoft Message Passing Interface (MS- MPI), 2008. ,
FRODO 2.0: An open-source framework for distributed constraint optimization, pp.160-164, 2009. ,
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
The art of parallel programming, 1993. ,
Introducing Windows Azure, 2009. ,
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 propos de la bibliothèque de modèles XCSP, 10èmes Journées Francophones de Programmation par Contraintes(JFPC'15), 2014. ,
Patterns for Parallel Programming, 2004. ,
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
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
Transparent Parallelization of Constraint Programming, INFORMS Journal on Computing, vol.21, issue.3, pp.363-382, 2009. ,
DOI : 10.1287/ijoc.1080.0313
Constraint and Integer Programming: Toward a Unified Methodology, 2004. ,
Parallel Discrepancy-Based Search, Principles and Practice of Constraint Programming, pp.30-46, 2013. ,
DOI : 10.1007/978-3-642-40627-0_6
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
High-Performance Portable MPI http, 2015. ,
A Library Implementation of POSIX Threads under UNIX, USENIX Winter, pp.29-42, 1993. ,
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
Parallel Search in Gecode Master's thesis, 2006. ,
Using casebased reasoning in an algorithm portfolio for constraint solving, Irish Conference on Artificial Intelligence and Cognitive Science, pp.210-216, 2008. ,
Distributed Work Stealing for Constraint Solving CoRR, abs/1009, pp.1-18, 2010. ,
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. ,
Or-Tools Tech, 2012. ,
Branch-and-bound and Parallel Computation: A historical note Operations Research Letters, pp.65-69, 1988. ,
DOI : 10.1016/0167-6377(88)90067-3
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
Embarrassingly Parallel Search In Principles and Practice of Constraint Programming, 19th International Conference, CP 2013, pp.596-610, 2013. ,
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
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
Using Cloud Computing for Solving Constraint Programming Problems In First Workshop on Cloud Computing and Optimization, 2014. ,
Parallel Consistency in Constraint Programming PDPTA, The 2009 International Conference on Parallel and Distributed Processing Techniques and Applications, pp.638-644, 2009. ,
Handbook of Constraint Programming, 2006. ,
Xml representation of constraint networks format http, 2008. ,
Parallel Search Made Simple In Proceedings of TRICS: Techniques foR Implementing Constraint programming Systems, pp.41-57, 2000. ,
Gecode: Generic Constraint Development Environment http, 2006. ,
Some new optimum Golomb rulers, IEEE Transactions on Information Theory, vol.36, issue.1, pp.183-184, 1990. ,
DOI : 10.1109/18.50388
SArTagnan -A parallel portfolio SAT solver with lockless physical clause sharing, Pragmatics of SAT, 2011. ,
The free lunch is over: A fundamental turn toward toward Concurrency Dr, Dobb's Journal, vol.30, pp.202-210, 2005. ,
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
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. ,
DisChoco 2: A Platform for Distributed Constraint Reasoning, Proceedings of the IJCAI'11 workshop on Distributed Constraint Reasoning, pp.112-121, 2011. ,
Parallel Programming: Techniques and Application Using Networked Workstations and Parallel Computers, 2005. ,
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
Hydra, Proceedings of the 2005 ACM workshop on Storage security and survivability , StorageSS '05, pp.210-216, 2010. ,
DOI : 10.1145/1103780.1103797
SATzilla: Portfolio-based Algorithm Selection for, Journal of Artificial Intelligence Research, vol.32, pp.565-606, 2008. ,
Distributed Constraint Satisfaction for DAI Problems, Proceedings of the 1990 Distributed AI Workshop, 1990. ,
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