{"id":"https://openalex.org/W3035232911","doi":"https://doi.org/10.24963/ijcai.2020/157","title":"Early and Efficient Identification of Useless Constraint Propagation for Alldifferent Constraints","display_name":"Early and Efficient Identification of Useless Constraint Propagation for Alldifferent Constraints","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3035232911","doi":"https://doi.org/10.24963/ijcai.2020/157","mag":"3035232911"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2020/157","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/157","pdf_url":"https://www.ijcai.org/proceedings/2020/0157.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth 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/2020/0157.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/I83519826","display_name":"Nanjing Medical University","ror":"https://ror.org/059gcgy73","country_code":"CN","type":"education","lineage":["https://openalex.org/I83519826"]},{"id":"https://openalex.org/I87182695","display_name":"Universidad del Noreste","ror":"https://ror.org/02ahky613","country_code":"MX","type":"education","lineage":["https://openalex.org/I87182695"]},{"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","MX"],"is_corresponding":false,"raw_author_name":"Xizhe Zhang","raw_affiliation_strings":["Nanjing Medical University","Northeastern University","School of Biomedical Engineering and Informatics, Nanjing Medical University, Nanjing, China","School of Computer Science and Engineering, Northeastern University, Shenyang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing Medical University","institution_ids":["https://openalex.org/I83519826"]},{"raw_affiliation_string":"Northeastern University","institution_ids":["https://openalex.org/I87182695"]},{"raw_affiliation_string":"School of Biomedical Engineering and Informatics, Nanjing Medical University, Nanjing, China","institution_ids":["https://openalex.org/I83519826"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University, Shenyang, China","institution_ids":["https://openalex.org/I9224756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050061433","display_name":"Jian Gao","orcid":"https://orcid.org/0000-0003-1962-0173"},"institutions":[{"id":"https://openalex.org/I43313876","display_name":"Dalian Maritime University","ror":"https://ror.org/002b7nr53","country_code":"CN","type":"education","lineage":["https://openalex.org/I43313876"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Gao","raw_affiliation_strings":["Dalian Maritime University","College of Information Science and Technology, Dalian Maritime University, Dalian, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dalian Maritime University","institution_ids":["https://openalex.org/I43313876"]},{"raw_affiliation_string":"College of Information Science and Technology, Dalian Maritime University, Dalian, China","institution_ids":["https://openalex.org/I43313876"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040560036","display_name":"Yizhi Lv","orcid":null},"institutions":[{"id":"https://openalex.org/I87182695","display_name":"Universidad del Noreste","ror":"https://ror.org/02ahky613","country_code":"MX","type":"education","lineage":["https://openalex.org/I87182695"]},{"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","MX"],"is_corresponding":false,"raw_author_name":"Yizhi Lv","raw_affiliation_strings":["Northeastern University","School of Computer Science and Engineering, Northeastern University, Shenyang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northeastern University","institution_ids":["https://openalex.org/I87182695"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Northeastern University, Shenyang, 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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Weixiong Zhang","raw_affiliation_strings":["Washington University in Saint Louis","Department of Computer Science and Engineering, Washington University, St. Louis, MO, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Washington University in Saint Louis","institution_ids":["https://openalex.org/I204465549"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, Washington University, St. Louis, MO, USA","institution_ids":["https://openalex.org/I204465549"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1126","last_page":"1133"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998999834060669,"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.9998999834060669,"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.9954000115394592,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9843999743461609,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.919036328792572},{"id":"https://openalex.org/keywords/backtracking","display_name":"Backtracking","score":0.8584357500076294},{"id":"https://openalex.org/keywords/constraint-satisfaction-dual-problem","display_name":"Constraint satisfaction dual problem","score":0.7427534461021423},{"id":"https://openalex.org/keywords/binary-constraint","display_name":"Binary constraint","score":0.6573246717453003},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.6388660669326782},{"id":"https://openalex.org/keywords/constraint-graph","display_name":"Constraint graph","score":0.6167886257171631},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6131001710891724},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.6048067808151245},{"id":"https://openalex.org/keywords/constraint-learning","display_name":"Constraint learning","score":0.6016150116920471},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.5723136067390442},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.5704479217529297},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5648157000541687},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.47721415758132935},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.4566899240016937},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.4557674527168274},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.41721975803375244},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4145743250846863},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39034125208854675},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37598925828933716},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30152714252471924},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15931138396263123}],"concepts":[{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.919036328792572},{"id":"https://openalex.org/C156884757","wikidata":"https://www.wikidata.org/wiki/Q798554","display_name":"Backtracking","level":2,"score":0.8584357500076294},{"id":"https://openalex.org/C183046576","wikidata":"https://www.wikidata.org/wiki/Q5164380","display_name":"Constraint satisfaction dual problem","level":5,"score":0.7427534461021423},{"id":"https://openalex.org/C79475747","wikidata":"https://www.wikidata.org/wiki/Q4913885","display_name":"Binary constraint","level":5,"score":0.6573246717453003},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.6388660669326782},{"id":"https://openalex.org/C178481205","wikidata":"https://www.wikidata.org/wiki/Q5164372","display_name":"Constraint graph","level":5,"score":0.6167886257171631},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6131001710891724},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.6048067808151245},{"id":"https://openalex.org/C29230964","wikidata":"https://www.wikidata.org/wiki/Q5164376","display_name":"Constraint learning","level":5,"score":0.6016150116920471},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.5723136067390442},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.5704479217529297},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5648157000541687},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.47721415758132935},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.4566899240016937},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.4557674527168274},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.41721975803375244},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4145743250846863},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39034125208854675},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37598925828933716},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30152714252471924},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15931138396263123},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"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/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2020/157","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/157","pdf_url":"https://www.ijcai.org/proceedings/2020/0157.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2020/157","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/157","pdf_url":"https://www.ijcai.org/proceedings/2020/0157.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6398619394","display_name":"\u4e0d\u5b8c\u5907\u77e5\u8bc6\u4e0b\u7684\u7ea6\u675f\u6ee1\u8db3\u95ee\u9898\u6a21\u578b\u4e0e\u6c42\u89e3\u7b97\u6cd5\u7814\u7a76","funder_award_id":"61972063","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"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3035232911.pdf","grobid_xml":"https://content.openalex.org/works/W3035232911.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W47957325","https://openalex.org/W1530753374","https://openalex.org/W1549670460","https://openalex.org/W1564783277","https://openalex.org/W1573625270","https://openalex.org/W1598380601","https://openalex.org/W1821801678","https://openalex.org/W2054700680","https://openalex.org/W2112957923","https://openalex.org/W2164279585","https://openalex.org/W2167464392","https://openalex.org/W2295268496","https://openalex.org/W2534652523","https://openalex.org/W2734924814","https://openalex.org/W2752885492","https://openalex.org/W3171061821","https://openalex.org/W4393321296"],"related_works":["https://openalex.org/W2141935412","https://openalex.org/W3035232911","https://openalex.org/W2737098235","https://openalex.org/W2091348864","https://openalex.org/W2569549435","https://openalex.org/W2784687883","https://openalex.org/W1486916474","https://openalex.org/W1532176371","https://openalex.org/W115413730","https://openalex.org/W2992108460"],"abstract_inverted_index":{"Constraints":[0],"propagation":[1,37,52,74,160],"and":[2,22,204],"backtracking":[3],"are":[4],"two":[5],"basic":[6],"techniques":[7],"for":[8,17,75,86,96,123,154,169],"solving":[9,76],"constraint":[10,36,51,73,106,113,142,159],"satisfaction":[11],"problems":[12],"(CSPs).":[13],"During":[14],"the":[15,20,47,87,98,133,136,175,186,198,209],"search":[16],"a":[18,77,93,101,124,130,150,181],"solution,":[19],"variable":[21],"value":[23,102],"pairs":[24],"that":[25,117,128],"do":[26],"not":[27],"belong":[28],"to":[29,38,45,68,71],"any":[30,166],"solution":[31],"can":[32,109,138,162],"be":[33,139,163],"discarded":[34,140],"by":[35,180],"ensure":[39],"generalized":[40],"arc":[41],"consistency":[42],"so":[43],"as":[44],"avoid":[46],"fruitless":[48],"search.":[49],"However,":[50],"is":[53,201],"frequently":[54],"invoked":[55],"often":[56],"with":[57],"little":[58],"effect":[59],"on":[60,145,189,212],"many":[61],"CSPs.":[62],"Much":[63],"effort":[64],"has":[65,83],"been":[66,84],"devoted":[67],"predicting":[69],"when":[70],"invoke":[72],"CSP;":[78],"however,":[79],"no":[80],"effective":[81],"approach":[82],"developed":[85,149],"alldifferent":[88,105,170],"constraint.":[89,171],"Here":[90],"we":[91,148],"present":[92],"novel":[94,151],"theorem":[95],"identifying":[97],"edges":[99],"in":[100,165,194],"graph":[103],"of":[104,157,174,183],"whose":[107],"removal":[108],"significantly":[110],"reduce":[111],"useless":[112,158],"propagation.":[114,143],"We":[115],"prove":[116],"if":[118],"an":[119],"alternating":[120],"cycle":[121],"exists":[122],"prospectively":[125],"removable":[126],"edge":[127,134],"represents":[129],"variable-value":[131],"assignment,":[132],"(and":[135],"assignment)":[137],"without":[141],"Based":[144],"this":[146],"theorem,":[147],"optimizing":[152],"technique":[153],"early":[155],"detection":[156],"which":[161],"incorporated":[164],"existing":[167,210],"algorithm":[168,200],"Our":[172],"implementation":[173],"new":[176,199],"method":[177],"achieved":[178],"speedup":[179],"factor":[182],"1-5":[184],"over":[185],"state-of-art":[187],"approaches":[188],"93":[190],"benchmark":[191],"problem":[192],"instances":[193],"8":[195],"domains.":[196],"Furthermore,":[197],"scalable":[202],"well":[203],"runs":[205],"increasingly":[206],"faster":[207],"than":[208],"methods":[211],"larger":[213],"problems.":[214]},"counts_by_year":[{"year":2023,"cited_by_count":3}],"updated_date":"2026-07-25T09:21:30.201066","created_date":"2025-10-10T00:00:00"}