Projects per year
Abstract
As multi-core computing is now standard, it seems irresponsible for constraints researchers to ignore the implications of it. Researchers need to address a number of issues to exploit parallelism, such as: investigating which constraint algorithms are amenable to parallelisation; whether to use shared memory or distributed computation; whether to use static or dynamic decomposition; and how to best exploit portfolios and cooperating search. We review the literature, and see that we can sometimes do quite well, some of the time, on some instances, but we are far from a general solution. Yet there seems to be little overall guidance that can be given on how best to exploit multi-core computers to speed up constraint solving. We hope at least that this survey will provide useful pointers to future researchers wishing to correct this situation.
Original language | English |
---|---|
Pages (from-to) | 725-758 |
Number of pages | 34 |
Journal | Theory and Practice of Logic Programming |
Volume | 18 |
Issue number | 5-6 |
Early online date | 2 Aug 2018 |
DOIs | |
Publication status | Published - Sept 2018 |
Keywords
- Constraint programming
- Parallel computing
- Propositional satisfiability
- Parallel search
Fingerprint
Dive into the research topics of 'A review of literature on parallel constraint solving'. Together they form a unique fingerprint.Projects
- 3 Finished
-
Modelling and Optimisation with Graphs: Modelling and Optimisation with Graphs
Jefferson, C. A. (PI) & Akgun, O. (CoI)
1/07/17 → 31/10/20
Project: Standard
-
Combining Constraints and Verification: Combining Constraints and Verification
Jefferson, C. A. (PI)
31/07/14 → 30/07/17
Project: Standard
-
EPSRC: Watched Literals and Learning: Watched Literals and Learning for Constraint Programming
Gent, I. P. (PI) & Miguel, I. J. (CoI)
1/07/07 → 31/03/11
Project: Standard