Files in this item
A framework for constraint based local search using ESSENCE
Item metadata
dc.contributor.author | Akgun, Ozgur | |
dc.contributor.author | Attieh, Saad Wasim A | |
dc.contributor.author | Gent, Ian Philip | |
dc.contributor.author | Jefferson, Christopher Anthony | |
dc.contributor.author | Miguel, Ian James | |
dc.contributor.author | Nightingale, Peter William | |
dc.contributor.author | Salamon, András Z. | |
dc.contributor.author | Spracklen, Patrick | |
dc.contributor.author | Wetter, James Patrick | |
dc.contributor.editor | Lang, Jérôme | |
dc.date.accessioned | 2018-07-23T10:30:05Z | |
dc.date.available | 2018-07-23T10:30:05Z | |
dc.date.issued | 2018-07-13 | |
dc.identifier.citation | Akgun , O , Attieh , S W A , Gent , I P , Jefferson , C A , Miguel , I J , Nightingale , P W , Salamon , A Z , Spracklen , P & Wetter , J P 2018 , A framework for constraint based local search using ESSENCE . in J Lang (ed.) , Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence . International Joint Conferences on Artificial Intelligence , pp. 1242-1248 , 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence , Stockholm , Sweden , 13/07/18 . https://doi.org/10.24963/ijcai.2018/173 | en |
dc.identifier.citation | conference | en |
dc.identifier.isbn | 9780999241127 | |
dc.identifier.other | PURE: 253026207 | |
dc.identifier.other | PURE UUID: 413b9d13-24cf-4826-b5ea-1a130eb96159 | |
dc.identifier.other | Scopus: 85055695674 | |
dc.identifier.other | ORCID: /0000-0002-5052-8634/work/46761084 | |
dc.identifier.other | ORCID: /0000-0001-9519-938X/work/46761170 | |
dc.identifier.other | ORCID: /0000-0002-1415-9712/work/46761209 | |
dc.identifier.other | ORCID: /0000-0003-2979-5989/work/60887581 | |
dc.identifier.other | ORCID: /0000-0002-6930-2686/work/68281477 | |
dc.identifier.other | WOS: 000764175401053 | |
dc.identifier.uri | https://hdl.handle.net/10023/15636 | |
dc.description | Funding: UK Engineering & Physical Sciences Research Council (EPSRC) grants EP/P015638/1and EP/P026842/1. | en |
dc.description.abstract | Structured Neighbourhood Search (SNS) is a framework for constraint-based local search for problems expressed in the Essence abstract constraint specification language. The local search explores a structured neighbourhood, where each state in the neighbourhood preserves a high level structural feature of the problem. SNS derives highly structured problem-specific neighbourhoods automatically and directly from the features of the ESSENCE specification of the problem. Hence, neighbourhoods can represent important structural features of the problem, such as partitions of sets, even if that structure is obscured in the low-level input format required by a constraint solver. SNS expresses each neighbourhood as a constrained optimisation problem, which is solved with a constraint solver. We have implemented SNS, together with automatic generation of neighbourhoods for high level structures, and report high quality results for several optimisation problems. | |
dc.format.extent | 7 | |
dc.language.iso | eng | |
dc.publisher | International Joint Conferences on Artificial Intelligence | |
dc.relation.ispartof | Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence | en |
dc.rights | Copyright © 2018, IJCAI. This work has been made available online in accordance with the publisher’s policies. This is the final published version of the work, which was originally published at https://doi.org/10.24963/ijcai.2018/173 | en |
dc.subject | Constraints and SAT: constraint satisfaction | en |
dc.subject | Constraints and SAT: modeling; formulation | en |
dc.subject | Constraints and SAT: constraint ptimisation | en |
dc.subject | Constraints and SAT: Constraints: solvers and tools | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | QA76 Computer software | en |
dc.subject | T Technology | en |
dc.subject | NDAS | en |
dc.subject | BDC | en |
dc.subject | R2C | en |
dc.subject | ~DC~ | en |
dc.subject.lcc | QA75 | en |
dc.subject.lcc | QA76 | en |
dc.subject.lcc | T | en |
dc.title | A framework for constraint based local search using ESSENCE | en |
dc.type | Conference item | en |
dc.contributor.sponsor | EPSRC | en |
dc.description.version | Publisher PDF | 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 | https://doi.org/10.24963/ijcai.2018/173 | |
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.