{"id":"https://openalex.org/W2153619375","doi":"https://doi.org/10.1613/jair.3749","title":"Short and Long Supports for Constraint Propagation","display_name":"Short and Long Supports for Constraint Propagation","publication_year":2013,"publication_date":"2013-01-17","ids":{"openalex":"https://openalex.org/W2153619375","doi":"https://doi.org/10.1613/jair.3749","mag":"2153619375"},"language":"en","primary_location":{"id":"doi:10.1613/jair.3749","is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.3749","pdf_url":"https://jair.org/index.php/jair/article/download/10796/25772","source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial Intelligence Research","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://jair.org/index.php/jair/article/download/10796/25772","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"P. Nightingale","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":true,"raw_author_name":"P. Nightingale","raw_affiliation_strings":["School of Computer Science, University of St Andrews, St Andrews, Fife KY16 9SX, UK"],"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":null,"display_name":"I. P. Gent","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":"I. P. Gent","raw_affiliation_strings":["School of Computer Science, University of St Andrews, St Andrews, Fife KY16 9SX, UK"],"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":null,"display_name":"C. Jefferson","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":"C. Jefferson","raw_affiliation_strings":["School of Computer Science, University of St Andrews, St Andrews, Fife KY16 9SX, UK"],"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":null,"display_name":"I. Miguel","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":"I. Miguel","raw_affiliation_strings":["School of Computer Science, University of St Andrews, St Andrews, Fife KY16 9SX, UK"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of St Andrews, St Andrews, Fife KY16 9SX, UK","institution_ids":["https://openalex.org/I16835326"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I16835326"],"apc_list":null,"apc_paid":null,"fwci":0.754,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.77712916,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"46","issue":null,"first_page":"1","last_page":"45"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9890000224113464,"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.9890000224113464,"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/T11106","display_name":"Data Management and Algorithms","score":0.0017000000225380063,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.0010999999940395355,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.8393999934196472},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.623199999332428},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.6140000224113464},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6065000295639038},{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.5837000012397766},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.4821000099182129},{"id":"https://openalex.org/keywords/hybrid-algorithm","display_name":"Hybrid algorithm (constraint satisfaction)","score":0.4357999861240387},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.39820000529289246}],"concepts":[{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.8393999934196472},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.623199999332428},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.6140000224113464},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6065000295639038},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5958999991416931},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.583899974822998},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.5837000012397766},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.4821000099182129},{"id":"https://openalex.org/C62469222","wikidata":"https://www.wikidata.org/wiki/Q17092103","display_name":"Hybrid algorithm (constraint satisfaction)","level":5,"score":0.4357999861240387},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.41350001096725464},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.39820000529289246},{"id":"https://openalex.org/C123614077","wikidata":"https://www.wikidata.org/wiki/Q1364905","display_name":"Propagation of uncertainty","level":2,"score":0.3774000108242035},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3720000088214874},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.35989999771118164},{"id":"https://openalex.org/C3561768","wikidata":"https://www.wikidata.org/wiki/Q5275267","display_name":"Difference-map algorithm","level":2,"score":0.3400999903678894},{"id":"https://openalex.org/C3018263672","wikidata":"https://www.wikidata.org/wiki/Q1296251","display_name":"Efficient algorithm","level":2,"score":0.33489999175071716},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.3321000039577484},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.3203999996185303},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.31369999051094055},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.3061999976634979},{"id":"https://openalex.org/C29230964","wikidata":"https://www.wikidata.org/wiki/Q5164376","display_name":"Constraint learning","level":5,"score":0.299699991941452},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29159998893737793},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.2759000062942505},{"id":"https://openalex.org/C3017489831","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Running time","level":2,"score":0.26460000872612}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1613/jair.3749","is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.3749","pdf_url":"https://jair.org/index.php/jair/article/download/10796/25772","source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial Intelligence Research","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1402.0559","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1402.0559","pdf_url":"https://arxiv.org/pdf/1402.0559","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:research-repository.st-andrews.ac.uk:10023/3503","is_oa":false,"landing_page_url":"https://hdl.handle.net/10023/3503","pdf_url":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal article"}],"best_oa_location":{"id":"doi:10.1613/jair.3749","is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.3749","pdf_url":"https://jair.org/index.php/jair/article/download/10796/25772","source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial Intelligence Research","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1045659609","display_name":null,"funder_award_id":"EP/H004092/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5639539875","display_name":"Watched Literals and Learning for Constraint Programming","funder_award_id":"EP/E030394/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G92210769","display_name":"A Constraint Solver Synthesiser","funder_award_id":"EP/H004092/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2153619375.pdf","grobid_xml":"https://content.openalex.org/works/W2153619375.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W1483723991","https://openalex.org/W1507924438","https://openalex.org/W1527987966","https://openalex.org/W1551739174","https://openalex.org/W1557957421","https://openalex.org/W1577788539","https://openalex.org/W1586970573","https://openalex.org/W1589463017","https://openalex.org/W1592840579","https://openalex.org/W1773554800","https://openalex.org/W1823248434","https://openalex.org/W1826823769","https://openalex.org/W1996050266","https://openalex.org/W2003516442","https://openalex.org/W2010489986","https://openalex.org/W2022088719","https://openalex.org/W2055043227","https://openalex.org/W2099980081","https://openalex.org/W2113171299","https://openalex.org/W2151352672","https://openalex.org/W2341882910","https://openalex.org/W2398936217","https://openalex.org/W6601091264","https://openalex.org/W6601945944","https://openalex.org/W6628867912","https://openalex.org/W6634520463","https://openalex.org/W6635994516","https://openalex.org/W6638571292","https://openalex.org/W6680589082","https://openalex.org/W6758547710","https://openalex.org/W6776019143"],"related_works":[],"abstract_inverted_index":{"Special-purpose":[0],"constraint":[1,78],"propagation":[2,91,125],"algorithms":[3,126,190,206],"frequently":[4],"make":[5],"implicit":[6],"use":[7],"of":[8,16,33,66,72,83,100,109,119,131,196,220,227],"short":[9,52,73,95,132],"supports":[10,53,74,133],"--":[11,50],"by":[12,215],"examining":[13],"a":[14,26,110,128,161],"subset":[15],"the":[17,38,70,81,98,117,188],"variables,":[18],"they":[19],"can":[20,177],"infer":[21],"support":[22],"(a":[23],"justification":[24],"that":[25,36,141,149],"variable-value":[27],"pair":[28],"may":[29],"still":[30],"form":[31],"part":[32],"an":[34,85,106,218],"assignment":[35],"satisfies":[37],"constraint)":[39],"for":[40,77,93,193],"all":[41,199],"other":[42,123],"variables":[43],"and":[44,46,80,87,139,173,180,213,222],"values":[45],"save":[47],"substantial":[48],"work":[49,170],"but":[51],"have":[54,181],"not":[55],"been":[56],"studied":[57],"in":[58,174,184],"their":[59],"own":[60],"right.":[61],"The":[62],"two":[63],"main":[64],"contributions":[65],"this":[67],"paper":[68],"are":[69,191],"identification":[71],"as":[75,105],"important":[76],"propagation,":[79],"introduction":[82],"HaggisGAC,":[84,101],"efficient":[86],"effective":[88],"general":[89],"purpose":[90],"algorithm":[92,112,163],"exploiting":[94],"supports.":[96,157],"Given":[97],"complexity":[99],"we":[102,136,203],"present":[103],"it":[104],"optimised":[107],"version":[108],"simpler":[111],"ShortGAC.":[113],"Although":[114],"experiments":[115,200],"demonstrate":[116],"efficiency":[118],"ShortGAC":[120],"compared":[121],"with":[122,201],"general-purpose":[124],"where":[127],"compact":[129],"set":[130],"is":[134,143,166],"available,":[135],"show":[137],"theoretically":[138],"experimentally":[140],"HaggisGAC":[142,150],"even":[144],"better.":[145],"We":[146,158],"also":[147,159],"find":[148],"performs":[151],"better":[152],"than":[153,210],"GAC-Schema":[154,214],"on":[155,171],"full-length":[156],"introduce":[160],"variant":[162],"HaggisGAC-Stable,":[164],"which":[165],"adapted":[167],"to":[168,207,224],"avoid":[169],"backtracking":[172],"some":[175],"cases":[176],"be":[178,208],"faster":[179,209],"significant":[182],"reductions":[183],"memory":[185],"use.":[186],"All":[187],"proposed":[189],"excellent":[192],"propagating":[194],"disjunctions":[195,202],"constraints.":[197],"In":[198],"found":[204],"our":[205],"Constructive":[211],"Or":[212],"at":[216],"least":[217],"order":[219],"magnitude,":[221],"up":[223],"three":[225],"orders":[226],"magnitude.":[228]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2016-06-24T00:00:00"}