{"id":"https://openalex.org/W4405847018","doi":"https://doi.org/10.1016/j.artint.2024.104277","title":"Athanor: Local search over abstract constraint specifications","display_name":"Athanor: Local search over abstract constraint specifications","publication_year":2024,"publication_date":"2024-12-27","ids":{"openalex":"https://openalex.org/W4405847018","doi":"https://doi.org/10.1016/j.artint.2024.104277"},"language":"en","primary_location":{"id":"doi:10.1016/j.artint.2024.104277","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.artint.2024.104277","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.artint.2024.104277","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088613189","display_name":"Saad Attieh","orcid":null},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Saad Attieh","raw_affiliation_strings":["School of Computer Science, University of St Andrews, St Andrews, Fife KY16 9SX, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of St Andrews, St Andrews, Fife KY16 9SX, UK","institution_ids":["https://openalex.org/I16835326"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043650771","display_name":"Nguyen Dang","orcid":"https://orcid.org/0000-0002-2693-6953"},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Nguyen Dang","raw_affiliation_strings":["School of Computer Science, University of St Andrews, St Andrews, Fife KY16 9SX, UK"],"raw_orcid":"https://orcid.org/0000-0002-2693-6953","affiliations":[{"raw_affiliation_string":"School of Computer Science, University of St Andrews, St Andrews, Fife KY16 9SX, UK","institution_ids":["https://openalex.org/I16835326"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064139739","display_name":"Christopher Jefferson","orcid":"https://orcid.org/0000-0003-2979-5989"},"institutions":[{"id":"https://openalex.org/I177639307","display_name":"University of Dundee","ror":"https://ror.org/03h2bxq36","country_code":"GB","type":"education","lineage":["https://openalex.org/I177639307"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Christopher Jefferson","raw_affiliation_strings":["School of Science and Engineering, University of Dundee, Dundee, DD1 4HN, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Science and Engineering, University of Dundee, Dundee, DD1 4HN, UK","institution_ids":["https://openalex.org/I177639307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051169226","display_name":"Ian Miguel","orcid":"https://orcid.org/0000-0002-6930-2686"},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ian Miguel","raw_affiliation_strings":["School of Computer Science, University of St Andrews, St Andrews, Fife KY16 9SX, UK"],"raw_orcid":"https://orcid.org/0000-0002-6930-2686","affiliations":[{"raw_affiliation_string":"School of Computer Science, University of St Andrews, St Andrews, Fife KY16 9SX, UK","institution_ids":["https://openalex.org/I16835326"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079214634","display_name":"Peter Nightingale","orcid":"https://orcid.org/0000-0002-5052-8634"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Peter Nightingale","raw_affiliation_strings":["Department of Computer Science, University of York, Heslington, York YO10 5GH, UK"],"raw_orcid":"https://orcid.org/0000-0002-5052-8634","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of York, Heslington, York YO10 5GH, UK","institution_ids":["https://openalex.org/I52099693"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5043650771"],"corresponding_institution_ids":["https://openalex.org/I16835326"],"apc_list":{"value":3670,"currency":"USD","value_usd":3670},"apc_paid":{"value":3670,"currency":"USD","value_usd":3670},"fwci":0.2844,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.60428206,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"340","issue":null,"first_page":"104277","last_page":"104277"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12401","display_name":"Scheduling and Timetabling Solutions","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10551","display_name":"Scheduling and Optimization Algorithms","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5951534509658813},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5743674635887146},{"id":"https://openalex.org/keywords/local-search","display_name":"Local search (optimization)","score":0.5008504390716553},{"id":"https://openalex.org/keywords/guided-local-search","display_name":"Guided Local Search","score":0.43903979659080505},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.324655145406723},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32410669326782227},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32101374864578247},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.26645010709762573}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5951534509658813},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5743674635887146},{"id":"https://openalex.org/C135320971","wikidata":"https://www.wikidata.org/wiki/Q1868524","display_name":"Local search (optimization)","level":2,"score":0.5008504390716553},{"id":"https://openalex.org/C90189156","wikidata":"https://www.wikidata.org/wiki/Q5615481","display_name":"Guided Local Search","level":3,"score":0.43903979659080505},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.324655145406723},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32410669326782227},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32101374864578247},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.26645010709762573},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/j.artint.2024.104277","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.artint.2024.104277","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:discovery.dundee.ac.uk:openaire_cris_publications/f89a243d-4052-47ad-a0b2-5c07c1c4ea3f","is_oa":true,"landing_page_url":"https://discovery.dundee.ac.uk/en/publications/f89a243d-4052-47ad-a0b2-5c07c1c4ea3f","pdf_url":"https://discovery.dundee.ac.uk/ws/files/144313680/1-s2.0-S0004370224002133-main.pdf","source":{"id":"https://openalex.org/S4306400523","display_name":"Discovery Research Portal (University of Dundee)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177639307","host_organization_name":"University of Dundee","host_organization_lineage":["https://openalex.org/I177639307"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Attieh, S, Dang, N, Jefferson, C, Miguel, I & Nightingale, P 2025, 'Athanor : Local search over abstract constraint specifications', Artificial Intelligence, vol. 340, 104277. https://doi.org/10.1016/j.artint.2024.104277","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:research-repository.st-andrews.ac.uk:10023/31161","is_oa":true,"landing_page_url":"https://hdl.handle.net/10023/31161","pdf_url":"https://research-repository.st-andrews.ac.uk/bitstream/10023/31161/1/Attieh-2024-Athanor-local-search-over-AI-340-104277-CCBY.pdf","source":{"id":"https://openalex.org/S4306400230","display_name":"St Andrews Research Repository (St Andrews Research Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I16835326","host_organization_name":"University of St Andrews","host_organization_lineage":["https://openalex.org/I16835326"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal article"}],"best_oa_location":{"id":"doi:10.1016/j.artint.2024.104277","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.artint.2024.104277","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G177952995","display_name":"Solver Feedback Loops for Automated Constraint Modelling","funder_award_id":"EP/W001977/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2756222422","display_name":null,"funder_award_id":"EP/V027182/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3458110196","display_name":"EPCC Tier 2 HPC Service","funder_award_id":"EP/P020267/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4145709284","display_name":null,"funder_award_id":"EP/P020267/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4398685361","display_name":null,"funder_award_id":"EP/P020267/1","funder_id":"https://openalex.org/F4320320332","funder_display_name":"University of Edinburgh"},{"id":"https://openalex.org/G7257391596","display_name":"Keep Learning","funder_award_id":"EP/V027182/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320319993","display_name":"Leverhulme Trust","ror":"https://ror.org/012mzw131"},{"id":"https://openalex.org/F4320320006","display_name":"Royal Society","ror":"https://ror.org/03wnrjx87"},{"id":"https://openalex.org/F4320320332","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":78,"referenced_works":["https://openalex.org/W30464726","https://openalex.org/W109225361","https://openalex.org/W192263341","https://openalex.org/W1493367991","https://openalex.org/W1502125971","https://openalex.org/W1509788133","https://openalex.org/W1536408070","https://openalex.org/W1554727768","https://openalex.org/W1590270437","https://openalex.org/W1594085999","https://openalex.org/W1601649239","https://openalex.org/W1856880495","https://openalex.org/W1965513150","https://openalex.org/W1973394110","https://openalex.org/W1994863634","https://openalex.org/W2000080679","https://openalex.org/W2002462348","https://openalex.org/W2013067314","https://openalex.org/W2016030731","https://openalex.org/W2047937685","https://openalex.org/W2049967755","https://openalex.org/W2058879737","https://openalex.org/W2066265366","https://openalex.org/W2099103233","https://openalex.org/W2104649084","https://openalex.org/W2106378689","https://openalex.org/W2120669779","https://openalex.org/W2127172809","https://openalex.org/W2128813544","https://openalex.org/W2133747598","https://openalex.org/W2141119792","https://openalex.org/W2155312717","https://openalex.org/W2159875930","https://openalex.org/W2162759391","https://openalex.org/W2183775643","https://openalex.org/W2408617648","https://openalex.org/W2734924814","https://openalex.org/W2753452838","https://openalex.org/W2761798304","https://openalex.org/W2807257226","https://openalex.org/W2808704586","https://openalex.org/W2890746393","https://openalex.org/W2903604248","https://openalex.org/W2908789966","https://openalex.org/W2965785316","https://openalex.org/W3004539422","https://openalex.org/W3173651597","https://openalex.org/W3190492560","https://openalex.org/W3202786170","https://openalex.org/W4211243022","https://openalex.org/W4230003265","https://openalex.org/W4230218059","https://openalex.org/W4281681103","https://openalex.org/W4293662999","https://openalex.org/W4302561932","https://openalex.org/W4304695344","https://openalex.org/W4313395123","https://openalex.org/W6601258702","https://openalex.org/W6604394534","https://openalex.org/W6630592745","https://openalex.org/W6631246748","https://openalex.org/W6631964841","https://openalex.org/W6633189231","https://openalex.org/W6635186685","https://openalex.org/W6635589366","https://openalex.org/W6635994516","https://openalex.org/W6639060055","https://openalex.org/W6662245386","https://openalex.org/W6679093811","https://openalex.org/W6679913612","https://openalex.org/W6682877441","https://openalex.org/W6683988544","https://openalex.org/W6714166700","https://openalex.org/W6766880583","https://openalex.org/W6779644321","https://openalex.org/W6784276274","https://openalex.org/W6844789298","https://openalex.org/W6845745503"],"related_works":["https://openalex.org/W2083844986","https://openalex.org/W2128203640","https://openalex.org/W4237239244","https://openalex.org/W2123829500","https://openalex.org/W2134014102","https://openalex.org/W2560221187","https://openalex.org/W1521720388","https://openalex.org/W2100501603","https://openalex.org/W2028764438","https://openalex.org/W2005660029"],"abstract_inverted_index":{"Local":[0],"search":[1,16],"is":[2,112],"a":[3,22,26,30,34,40,71,74,100,118,123],"common":[4],"method":[5],"for":[6,99],"solving":[7],"combinatorial":[8],"optimisation":[9],"problems.":[10],"We":[11],"focus":[12],"on":[13,148],"general-purpose":[14],"local":[15],"solvers":[17],"that":[18,67,113,140],"accept":[19],"as":[20,48],"input":[21,49],"constraint":[23,54,79,145],"model":[24],"\u2014":[25],"declarative":[27],"description":[28],"of":[29,33,36,42,73,103,108,122,138,152],"problem":[31,75,124],"consisting":[32],"set":[35,41,102],"decision":[37],"variables":[38],"under":[39],"constraints.":[43],"Existing":[44],"approaches":[45],"typically":[46],"take":[47],"models":[50],"written":[51],"in":[52,66,76,117,142,175],"solver-independent":[53],"modelling":[55,94],"languages":[56],"like":[57],"MiniZinc.":[58],"The":[59,106],"Athanor":[60],"solver":[61],"we":[62],"describe":[63],"herein":[64],"differs":[65],"it":[68],"begins":[69],"from":[70,110,155],"specification":[72,80,121],"the":[77,114,135,149,160],"abstract":[78,104,120],"language":[81],"Essence":[82,111],",":[83],"which":[84],"allows":[85],"problems":[86],"to":[87,92,128,178],"be":[88,126],"described":[89],"without":[90],"commitment":[91],"low-level":[93],"decisions":[95],"through":[96],"its":[97],"support":[98],"rich":[101],"types.":[105],"advantage":[107],"proceeding":[109],"structure":[115,141],"apparent":[116],"concise,":[119],"can":[125],"exploited":[127],"generate":[129],"high":[130,156],"quality":[131],"neighbourhoods":[132,153],"automatically,":[133],"avoiding":[134],"difficult":[136],"task":[137],"identifying":[139],"an":[143],"equivalent":[144],"model.":[146],"Based":[147],"twin":[150],"benefits":[151],"derived":[154,162],"level":[157],"types":[158],"and":[159],"scalability":[161],"by":[163],"searching":[164],"directly":[165],"over":[166],"those":[167],"types,":[168],"our":[169],"empirical":[170],"results":[171],"demonstrate":[172],"strong":[173],"performance":[174],"practice":[176],"relative":[177],"existing":[179],"solution":[180],"methods.":[181]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-11T18:08:03.149640","created_date":"2025-10-10T00:00:00"}