{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T13:06:32Z","timestamp":1745413592843},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"abstract":"<jats:p>Structured Neighbourhood Search (SNS) is a framework for constraint-based local search for problems expressed in the Essence abstract constraint specification language.\u00a0 The local search explores a structured neighbourhood, where each state in the neighbourhood preserves a high level structural feature of the problem.\u00a0SNS derives\u00a0 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.\u00a0\u00a0SNS 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.<\/jats:p>","DOI":"10.24963\/ijcai.2018\/173","type":"proceedings-article","created":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T05:49:10Z","timestamp":1530769750000},"page":"1242-1248","source":"Crossref","is-referenced-by-count":4,"title":["A Framework for Constraint Based Local Search using Essence"],"prefix":"10.24963","author":[{"given":"\u00d6zg\u00fcr","family":"Akg\u00fcn","sequence":"first","affiliation":[{"name":"School of Computer Science, University of St Andrews, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saad","family":"Attieh","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of St Andrews, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian P.","family":"Gent","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of St Andrews, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Jefferson","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of St Andrews, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Miguel","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of St Andrews, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Nightingale","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of St Andrews, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e1s Z.","family":"Salamon","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of St Andrews, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Spracklen","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of St Andrews, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Wetter","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of St Andrews, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"27","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2018","name":"Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}","start":{"date-parts":[[2018,7,13]]},"theme":"Artificial Intelligence","location":"Stockholm, Sweden","end":{"date-parts":[[2018,7,19]]}},"container-title":["Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T05:50:31Z","timestamp":1530769831000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2018\/173"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2018\/173","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}