Files in this item
A review of literature on parallel constraint solving
Item metadata
dc.contributor.author | Gent, Ian Philip | |
dc.contributor.author | Miguel, Ian James | |
dc.contributor.author | Nightingale, Peter William | |
dc.contributor.author | McCreesh, Ciaran | |
dc.contributor.author | Prosser, Patrick | |
dc.contributor.author | Moore, Neil | |
dc.contributor.author | Unsworth, Chris | |
dc.date.accessioned | 2019-02-02T00:34:07Z | |
dc.date.available | 2019-02-02T00:34:07Z | |
dc.date.issued | 2018-09 | |
dc.identifier | 253025760 | |
dc.identifier | 18cd2c85-e513-4e55-82a6-110a9aa2a6e5 | |
dc.identifier | 85052858409 | |
dc.identifier | 000443682000002 | |
dc.identifier.citation | Gent , I P , Miguel , I J , Nightingale , P W , McCreesh , C , Prosser , P , Moore , N & Unsworth , C 2018 , ' A review of literature on parallel constraint solving ' , Theory and Practice of Logic Programming , vol. 18 , no. 5-6 , pp. 725-758 . https://doi.org/10.1017/S1471068418000340 | en |
dc.identifier.issn | 1471-0684 | |
dc.identifier.other | ORCID: /0000-0002-5052-8634/work/47136070 | |
dc.identifier.other | ORCID: /0000-0002-6930-2686/work/68281441 | |
dc.identifier.uri | https://hdl.handle.net/10023/16990 | |
dc.description | Funding: UK Engineering & Physical Sciences Research Council (EPSRC) EP/E030394/1, EP/M003728/1, EP/P015638/1, and EP/P026842/1. | en |
dc.description.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. | |
dc.format.extent | 34 | |
dc.format.extent | 347606 | |
dc.language.iso | eng | |
dc.relation.ispartof | Theory and Practice of Logic Programming | en |
dc.subject | Constraint programming | en |
dc.subject | Parallel computing | en |
dc.subject | Propositional satisfiability | en |
dc.subject | Parallel search | en |
dc.subject | BC Logic | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | QA76 Computer software | en |
dc.subject | T-NDAS | en |
dc.subject.lcc | BC | en |
dc.subject.lcc | QA75 | en |
dc.subject.lcc | QA76 | en |
dc.title | A review of literature on parallel constraint solving | en |
dc.type | Journal article | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.identifier.doi | 10.1017/S1471068418000340 | |
dc.description.status | Peer reviewed | en |
dc.date.embargoedUntil | 2019-02-02 | |
dc.identifier.grantnumber | EP/E030394/1 | en |
dc.identifier.grantnumber | EP/M003728/1 | en |
dc.identifier.grantnumber | EP/P026842/1 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.