{"id":"https://openalex.org/W3034623271","doi":"https://doi.org/10.24963/ijcai.2020/159","title":"Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints","display_name":"Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3034623271","doi":"https://doi.org/10.24963/ijcai.2020/159","mag":"3034623271"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2020/159","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/159","pdf_url":"https://www.ijcai.org/proceedings/2020/0159.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":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2020/0159.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033711595","display_name":"Zhendong Lei","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhendong Lei","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China","School of Computer Science and Technology, University of Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"School of Computer Science and Technology, University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077138780","display_name":"Shaowei Cai","orcid":"https://orcid.org/0000-0003-1730-6922"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shaowei Cai","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China","School of Computer Science and Technology, University of Chinese Academy of Sciences, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"School of Computer Science and Technology, University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006894386","display_name":"Chuan Luo","orcid":"https://orcid.org/0000-0001-5028-1064"},"institutions":[{"id":"https://openalex.org/I4210113369","display_name":"Microsoft Research Asia (China)","ror":"https://ror.org/0300m5276","country_code":"CN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210113369"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chuan Luo","raw_affiliation_strings":["Microsoft Research, China"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, China","institution_ids":["https://openalex.org/I4210113369"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5033711595"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":0.3224,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.61389081,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1141","last_page":"1147"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9976000189781189,"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"}},{"id":"https://openalex.org/T11106","display_name":"Data Management and Algorithms","score":0.9962000250816345,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.9325541257858276},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.8449594974517822},{"id":"https://openalex.org/keywords/conjunctive-normal-form","display_name":"Conjunctive normal form","score":0.8070671558380127},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6690304279327393},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5902441740036011},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5022594928741455},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.48318710923194885},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.4734066426753998},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4541763961315155},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4241722822189331},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35912156105041504},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.2983103096485138},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.27930453419685364}],"concepts":[{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.9325541257858276},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.8449594974517822},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.8070671558380127},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6690304279327393},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5902441740036011},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5022594928741455},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48318710923194885},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.4734066426753998},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4541763961315155},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4241722822189331},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35912156105041504},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2983103096485138},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.27930453419685364},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2020/159","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/159","pdf_url":"https://www.ijcai.org/proceedings/2020/0159.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/159","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/159","pdf_url":"https://www.ijcai.org/proceedings/2020/0159.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/G4548915736","display_name":null,"funder_award_id":"2017150","funder_id":"https://openalex.org/F4320322847","funder_display_name":"Youth Innovation Promotion Association of the Chinese Academy of Sciences"}],"funders":[{"id":"https://openalex.org/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"},{"id":"https://openalex.org/F4320322847","display_name":"Youth Innovation Promotion Association of the Chinese Academy of Sciences","ror":"https://ror.org/031141b54"},{"id":"https://openalex.org/F4320335892","display_name":"Youth Innovation Promotion Association","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3034623271.pdf","grobid_xml":"https://content.openalex.org/works/W3034623271.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W37002918","https://openalex.org/W82625556","https://openalex.org/W1528950549","https://openalex.org/W1900929702","https://openalex.org/W2100609826","https://openalex.org/W2182702718","https://openalex.org/W2185680923","https://openalex.org/W2484319280","https://openalex.org/W2549191282","https://openalex.org/W2593956122","https://openalex.org/W2739607635","https://openalex.org/W2808345295","https://openalex.org/W2808706008","https://openalex.org/W2908513458","https://openalex.org/W2935376254","https://openalex.org/W2945627032","https://openalex.org/W2973660513","https://openalex.org/W2974239644","https://openalex.org/W2987124936","https://openalex.org/W2995391524"],"related_works":["https://openalex.org/W2301405299","https://openalex.org/W2480084299","https://openalex.org/W2394616262","https://openalex.org/W2014111643","https://openalex.org/W2408080066","https://openalex.org/W2406837904","https://openalex.org/W192406999","https://openalex.org/W2571882453","https://openalex.org/W4211028879","https://openalex.org/W3120153087"],"abstract_inverted_index":{"Satisfiability":[0,4],"(SAT)":[1],"and":[2,9,18,47,60,98,110,130],"Maximum":[3],"(MaxSAT)":[5],"are":[6,20],"two":[7],"basic":[8],"important":[10,15],"constraint":[11,108],"problems":[12],"with":[13,29,66,104,138],"many":[14],"applications.":[16],"SAT":[17],"MaxSAT":[19],"expressed":[21],"in":[22],"CNF,":[23],"which":[24,42,133],"is":[25,140],"difficult":[26],"to":[27,84],"deal":[28],"cardinality":[30,44,107,136],"constraints.":[31],"In":[32],"this":[33],"paper,":[34],"we":[35,56],"introduce":[36],"Extended":[37],"Conjunctive":[38],"Normal":[39],"Form":[40],"(ECNF),":[41],"expresses":[43],"constraints":[45,137],"straightforward":[46],"does":[48],"not":[49],"need":[50],"auxiliary":[51],"variables":[52],"or":[53],"clauses.":[54],"Then,":[55],"develop":[57,76],"a":[58,67,77],"simple":[59],"efficient":[61],"local":[62,90],"search":[63],"solver":[64],"LS-ECNF":[65,117],"well":[68],"designed":[69],"scoring":[70],"function":[71],"under":[72],"ECNF.":[73],"We":[74,92],"also":[75],"generalized":[78],"Unit":[79],"Propagation":[80],"(UP)":[81],"based":[82],"algorithm":[83],"generate":[85],"the":[86,125],"initial":[87],"solution":[88],"for":[89],"search.":[91],"encode":[93],"instances":[94],"from":[95],"Nurse":[96],"Rostering":[97],"Discrete":[99],"Tomography":[100],"Problems":[101],"into":[102],"CNF":[103],"three":[105],"different":[106],"encodings":[109],"ECNF":[111,139],"respectively.":[112],"Experimental":[113],"results":[114],"show":[115],"that":[116],"has":[118],"much":[119],"better":[120],"performance":[121],"than":[122],"state":[123],"of":[124],"art":[126],"MaxSAT,":[127],"SAT,":[128],"Pseudo-Boolean":[129],"ILP":[131],"solvers,":[132],"indicates":[134],"solving":[135],"promising.":[141]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-15T09:29:46.208133","created_date":"2025-10-10T00:00:00"}