{"id":"https://openalex.org/W4385767791","doi":"https://doi.org/10.24963/ijcai.2023/221","title":"A Bitwise GAC Algorithm for Alldifferent Constraints","display_name":"A Bitwise GAC Algorithm for Alldifferent Constraints","publication_year":2023,"publication_date":"2023-08-01","ids":{"openalex":"https://openalex.org/W4385767791","doi":"https://doi.org/10.24963/ijcai.2023/221"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2023/221","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/221","pdf_url":"https://www.ijcai.org/proceedings/2023/0221.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2023/0221.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100773644","display_name":"Zhe Li","orcid":"https://orcid.org/0009-0003-1018-8190"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]},{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]},{"id":"https://openalex.org/I4210136497","display_name":"Jilin Medical University","ror":"https://ror.org/03mzw7781","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210136497"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhe Li","raw_affiliation_strings":["Jilin University","National University of Defense Technology","National University of Defense Technology, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jilin University","institution_ids":["https://openalex.org/I4210136497","https://openalex.org/I194450716"]},{"raw_affiliation_string":"National University of Defense Technology","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101877535","display_name":"Yaohua Wang","orcid":"https://orcid.org/0000-0002-9556-5535"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yaohua Wang","raw_affiliation_strings":["National University of Defense Technology","National University of Defense Technology, Changsha, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Defense Technology","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084563284","display_name":"Zhanshan Li","orcid":"https://orcid.org/0000-0003-1648-8138"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]},{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]},{"id":"https://openalex.org/I4210136497","display_name":"Jilin Medical University","ror":"https://ror.org/03mzw7781","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210136497"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhanshan Li","raw_affiliation_strings":["Jilin University","National University of Defense Technology","Jilin University, Changchun, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Jilin University","institution_ids":["https://openalex.org/I4210136497","https://openalex.org/I194450716"]},{"raw_affiliation_string":"National University of Defense Technology","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"Jilin University, Changchun, China","institution_ids":["https://openalex.org/I194450716"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11035592,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1988","last_page":"1995"},"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/T11106","display_name":"Data Management and Algorithms","score":0.9973000288009644,"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.9898999929428101,"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/bitwise-operation","display_name":"Bitwise operation","score":0.7168566584587097},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6990233659744263},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.5852946639060974},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5804114937782288},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5788290500640869},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5095977783203125},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.43697088956832886},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41686850786209106}],"concepts":[{"id":"https://openalex.org/C134765980","wikidata":"https://www.wikidata.org/wiki/Q879126","display_name":"Bitwise operation","level":2,"score":0.7168566584587097},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6990233659744263},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.5852946639060974},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5804114937782288},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5788290500640869},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5095977783203125},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.43697088956832886},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41686850786209106},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2023/221","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/221","pdf_url":"https://www.ijcai.org/proceedings/2023/0221.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2023/221","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/ijcai.2023/221","pdf_url":"https://www.ijcai.org/proceedings/2023/0221.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1873853443","display_name":null,"funder_award_id":"62272477","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8574359920","display_name":null,"funder_award_id":"62276060","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4385767791.pdf"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1528564561","https://openalex.org/W1582685993","https://openalex.org/W2002597376","https://openalex.org/W2035567824","https://openalex.org/W2087837834","https://openalex.org/W2118382442","https://openalex.org/W2164279585","https://openalex.org/W2183949818","https://openalex.org/W2344300494","https://openalex.org/W2575965521","https://openalex.org/W2577446513","https://openalex.org/W2727926935","https://openalex.org/W2808269184","https://openalex.org/W2949900368","https://openalex.org/W3035232911","https://openalex.org/W3114245773","https://openalex.org/W4213060883","https://openalex.org/W4231283104","https://openalex.org/W4308609860"],"related_works":["https://openalex.org/W1594590521","https://openalex.org/W1757511069","https://openalex.org/W3148559665","https://openalex.org/W4206055950","https://openalex.org/W3092209506","https://openalex.org/W4390187709","https://openalex.org/W4226291662","https://openalex.org/W2393540888","https://openalex.org/W2058635767","https://openalex.org/W2388900314"],"abstract_inverted_index":{"The":[0,14],"generalized":[1],"arc":[2],"consistency":[3],"(GAC)":[4],"algorithm":[5,93],"is":[6,22,89,103,136],"the":[7,27,33,47,63,66,71,83,91,100,143,148,166],"prevailing":[8],"solution":[9],"for":[10,19,77],"alldifferent":[11,20],"constraint":[12],"problems.":[13],"core":[15],"part":[16],"of":[17,32,41,65,73,86,99],"GAC":[18,92,168],"constraints":[21],"excavating":[23],"and":[24,58,128,146],"enumerating":[25],"all":[26],"strongly":[28],"connected":[29],"components":[30],"(SCCs)":[31],"graph":[34,101],"model.":[35],"This":[36,140],"causes":[37],"a":[38,52,97,134,157],"large":[39,53],"amount":[40],"complex":[42],"data":[43,67,126],"structures":[44,68,127],"to":[45,51,130,150,154],"maintain":[46],"node":[48,98,135],"information,":[49],"leading":[50],"overhead":[54],"both":[55],"in":[56,104,137,156],"time":[57],"memory":[59],"space.":[60],"More":[61],"critically,":[62],"complexity":[64],"further":[69],"precludes":[70],"coordination":[72],"different":[74],"optimization":[75],"schemes":[76],"GAC.":[78],"To":[79],"solve":[80],"this":[81,87,118],"problem,":[82],"key":[84],"observation":[85],"paper":[88],"that":[90,163],"only":[94],"cares":[95],"whether":[96],"model":[102],"an":[105,138],"SCC":[106],"or":[107],"not,":[108],"rather":[109],"than":[110],"which":[111,123],"SCCs":[112],"it":[113],"belongs":[114],"to.":[115],"Based":[116],"on":[117],"observation,":[119],"we":[120],"propose":[121],"AllDiffbit,":[122],"employs":[124],"bitwise":[125],"operations":[129],"efficiently":[131],"determine":[132],"if":[133],"SCC.":[139],"greatly":[141],"reduces":[142],"corresponding":[144],"overhead,":[145],"enhances":[147],"ability":[149],"incorporate":[151],"existing":[152],"optimizations":[153],"work":[155],"synergistic":[158],"way.":[159],"Our":[160],"experiments":[161],"show":[162],"AllDiffbit":[164],"outperforms":[165],"state-of-the-art":[167],"algorithms":[169],"over":[170],"60%.":[171]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}