{"id":"https://openalex.org/W2808269184","doi":"https://doi.org/10.24963/ijcai.2018/194","title":"A Fast Algorithm for Generalized Arc Consistency of the Alldifferent Constraint","display_name":"A Fast Algorithm for Generalized Arc Consistency of the Alldifferent Constraint","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2808269184","doi":"https://doi.org/10.24963/ijcai.2018/194","mag":"2808269184"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2018/194","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/194","pdf_url":"https://www.ijcai.org/proceedings/2018/0194.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2018/0194.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076085956","display_name":"Xizhe Zhang","orcid":"https://orcid.org/0000-0002-8684-4591"},"institutions":[{"id":"https://openalex.org/I91656880","display_name":"China Medical University","ror":"https://ror.org/032d4f246","country_code":"CN","type":"education","lineage":["https://openalex.org/I91656880"]},{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xizhe Zhang","raw_affiliation_strings":["Joint Laboratory of Artificial Intelligence and Precision Medicine of China Medical University and Northeastern University, Shenyang, Liaoning, China","School of Computer Science and Engineering, Northeastern University, Shenyang, Liaoning, China","Northeastern University, Shenyang, Liaoning, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Joint Laboratory of Artificial Intelligence and Precision Medicine of China Medical University and Northeastern University, Shenyang, Liaoning, China","institution_ids":["https://openalex.org/I91656880","https://openalex.org/I9224756"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University, Shenyang, Liaoning, China","institution_ids":["https://openalex.org/I9224756"]},{"raw_affiliation_string":"Northeastern University, Shenyang, Liaoning, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100340595","display_name":"Qian Li","orcid":"https://orcid.org/0000-0002-5738-0484"},"institutions":[{"id":"https://openalex.org/I9224756","display_name":"Northeastern University","ror":"https://ror.org/03awzbc87","country_code":"CN","type":"education","lineage":["https://openalex.org/I9224756"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qian Li","raw_affiliation_strings":["School of Computer Science and Engineering, Northeastern University, Shenyang, Liaoning, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University, Shenyang, Liaoning, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068659777","display_name":"Weixiong Zhang","orcid":"https://orcid.org/0000-0002-4998-9791"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]},{"id":"https://openalex.org/I31590910","display_name":"Jianghan University","ror":"https://ror.org/041c9x778","country_code":"CN","type":"education","lineage":["https://openalex.org/I31590910"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Weixiong Zhang","raw_affiliation_strings":["College of Math and Computer Science, Institute for Systems Biology, Jianghan University, Wuhan, China","Department of Computer Science and Engineering, Washington University, Saint Louis, Missouri, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Math and Computer Science, Institute for Systems Biology, Jianghan University, Wuhan, China","institution_ids":["https://openalex.org/I31590910"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Washington University, Saint Louis, Missouri, USA","institution_ids":["https://openalex.org/I204465549"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5076085956"],"corresponding_institution_ids":["https://openalex.org/I91656880","https://openalex.org/I9224756"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1398","last_page":"1403"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9997000098228455,"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.9997000098228455,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9835000038146973,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9794999957084656,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/local-consistency","display_name":"Local consistency","score":0.7178061008453369},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.5933297276496887},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.5682504177093506},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5518730282783508},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5518216490745544},{"id":"https://openalex.org/keywords/blossom-algorithm","display_name":"Blossom algorithm","score":0.5076109170913696},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5028583407402039},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4526396691799164},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4519871473312378},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.441153347492218},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3599771559238434},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3309630751609802},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3219043016433716},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10722935199737549}],"concepts":[{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.7178061008453369},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.5933297276496887},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.5682504177093506},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5518730282783508},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5518216490745544},{"id":"https://openalex.org/C61455927","wikidata":"https://www.wikidata.org/wiki/Q1030529","display_name":"Blossom algorithm","level":3,"score":0.5076109170913696},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5028583407402039},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4526396691799164},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4519871473312378},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.441153347492218},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3599771559238434},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3309630751609802},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3219043016433716},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10722935199737549},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2018/194","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/194","pdf_url":"https://www.ijcai.org/proceedings/2018/0194.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2018/194","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/194","pdf_url":"https://www.ijcai.org/proceedings/2018/0194.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5035619581","display_name":null,"funder_award_id":"201606085011","funder_id":"https://openalex.org/F4320322725","funder_display_name":"China Scholarship Council"},{"id":"https://openalex.org/G8020586276","display_name":null,"funder_award_id":"91546110","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322725","display_name":"China Scholarship Council","ror":"https://ror.org/04atp4p48"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2808269184.pdf","grobid_xml":"https://content.openalex.org/works/W2808269184.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W60640206","https://openalex.org/W861814484","https://openalex.org/W1556130451","https://openalex.org/W1573625270","https://openalex.org/W1598380601","https://openalex.org/W1946570941","https://openalex.org/W2002597376","https://openalex.org/W2056229702","https://openalex.org/W2087837834","https://openalex.org/W2110699703","https://openalex.org/W2118382442","https://openalex.org/W2143163611","https://openalex.org/W2157529519","https://openalex.org/W2164279585","https://openalex.org/W2167464392","https://openalex.org/W2577446513","https://openalex.org/W2727926935","https://openalex.org/W4246219036","https://openalex.org/W4292692470"],"related_works":["https://openalex.org/W2569549435","https://openalex.org/W2091348864","https://openalex.org/W2784687883","https://openalex.org/W4303044088","https://openalex.org/W96881443","https://openalex.org/W1486916474","https://openalex.org/W2012694101","https://openalex.org/W1550482496","https://openalex.org/W2737098235","https://openalex.org/W2140769824"],"abstract_inverted_index":{"The":[0,38,61],"alldifferent":[1,24,125],"constraint":[2],"is":[3],"an":[4,120],"essential":[5],"ingredient":[6],"of":[7,23,49,92,100],"most":[8],"Constraints":[9],"Satisfaction":[10],"Problems":[11],"(CSPs).":[12],"It":[13],"has":[14],"been":[15],"known":[16],"that":[17,98,133],"the":[18,30,50,59,72,82,93,101],"generalized":[19],"arc":[20],"consistency":[21],"(GAC)":[22],"constraints":[25],"can":[26,53,104],"be":[27,56,105],"reduced":[28],"to":[29,65],"maximum":[31,47,79,111],"matching":[32,48,80],"problem":[33],"in":[34,45],"a":[35,78,87,110],"value":[36,51],"graph.":[37,60,83],"redundant":[39,68,94,102],"edges,":[40],"which":[41],"do":[42],"not":[43],"appear":[44],"any":[46],"graph,":[52],"and":[54],"should":[55],"removed":[57],"from":[58],"existing":[62],"methods":[63],"attempt":[64],"identify":[66],"these":[67],"edges":[69,103],"by":[70],"computing":[71],"strongly":[73],"connected":[74],"components":[75],"after":[76,108],"finding":[77,109],"for":[81,90,123],"Here,":[84],"we":[85,118],"present":[86,119],"novel":[88],"theorem":[89],"identification":[91],"edges.":[95],"We":[96],"show":[97,132],"some":[99],"immediately":[106],"detected":[107],"matching.":[112],"Based":[113],"on":[114,129],"this":[115],"theoretical":[116],"result,":[117],"efficient":[121],"algorithm":[122,136],"processing":[124],"constraints.":[126],"Experimental":[127],"results":[128],"real":[130],"problems":[131],"our":[134],"new":[135],"significantly":[137],"outperforms":[138],"the-state-of-art":[139],"approaches.":[140]},"counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}