Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems
Artificial Intelligence - Special volume on constraint-based reasoning
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Introduction to the Special Issue on Parallel Meta-Heuristics
Journal of Heuristics
Probability Distribution of Solution Time in GRASP: An Experimental Investigation
Journal of Heuristics
The Distributed Constraint Satisfaction Problem: Formalization and Algorithms
IEEE Transactions on Knowledge and Data Engineering
Yet Another Local Search Method for Constraint Solving
SAGA '01 Proceedings of the International Symposium on Stochastic Algorithms: Foundations and Applications
IRREGULAR '95 Proceedings of the Second International Workshop on Parallel Algorithms for Irregularly Structured Problems
Search Procedures and Parallelism in Constraint Programming
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
CSPLIB: A Benchmark Library for Constraints
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Cooperative Parallel Variable Neighborhood Search for the p-Median
Journal of Heuristics
A Case Study in Running a Parallel Branch and Bound Application on the Grid
SAINT '05 Proceedings of the The 2005 Symposium on Applications and the Internet
Constraint-Based Local Search
Handbook of Approximation Algorithms and Metaheuristics (Chapman & Hall/Crc Computer & Information Science Series)
Grid'5000: A Large Scale And Highly Reconfigurable Experimental Grid Testbed
International Journal of High Performance Computing Applications
The Design of a Multicore Extension of the SPIN Model Checker
IEEE Transactions on Software Engineering
Parallel and distributed local search in COMET
Computers and Operations Research
c-sat: A Parallel SAT Solver for Clusters
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Scalable multi-core LTL model-checking
Proceedings of the 14th international SPIN conference on Model checking software
Parallelizing constraint programs transparently
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Grid'BnB: a parallel branch and bound framework for grids
HiPC'07 Proceedings of the 14th international conference on High performance computing
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Distributed constraint-based local search
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
EvoCOP'10 Proceedings of the 10th European conference on Evolutionary Computation in Combinatorial Optimization
Performance analysis of parallel constraint-based local search
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
Constraint-based local search for the costas array problem
LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization
| Hi-index | 0.00 |
We present a parallel implementation of a constraint-based local search algorithm and investigate its performance results on hardware with several hundreds of processors. We choose as basic constraint solving algorithm for these experiments the "adaptive search" method, an efficient sequential local search method for Constraint Satisfaction Problems. The implemented algorithm is a parallel version of adaptive search in a multiple independent-walk manner, that is, each process is an independent search engine and there is no communication between the simultaneous computations. Preliminary performance evaluation on a variety of classical CSPs benchmarks shows that speedups are very good for a few tens of processors, and good up to a few hundreds of processors.