{"id":"https://openalex.org/W4285603301","doi":"https://doi.org/10.24963/ijcai.2022/734","title":"Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract)","display_name":"Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract)","publication_year":2022,"publication_date":"2022-07-01","ids":{"openalex":"https://openalex.org/W4285603301","doi":"https://doi.org/10.24963/ijcai.2022/734"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2022/734","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2022/734","pdf_url":"https://www.ijcai.org/proceedings/2022/0734.pdf","source":{"id":"https://openalex.org/S4363608755","display_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.ijcai.org/proceedings/2022/0734.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077138780","display_name":"Shaowei Cai","orcid":"https://orcid.org/0000-0003-1730-6922"},"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":false,"raw_author_name":"Shaowei Cai","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences","School of Computer Science and Technology, University of Chinese Academy of Sciences, China","State Key Laboratory of Computer Science, Institute of Software, 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":"School of Computer Science and Technology, University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]},{"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"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056982340","display_name":"Xindi Zhang","orcid":"https://orcid.org/0000-0001-5541-7194"},"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":"Xindi Zhang","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"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5056982340"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":0.6439,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.56791148,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"5274","last_page":"5278"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9965000152587891,"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.9965000152587891,"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/T10142","display_name":"Formal Methods in Verification","score":0.9901000261306763,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9830999970436096,"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/benchmark","display_name":"Benchmark (surveying)","score":0.790911078453064},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.777900218963623},{"id":"https://openalex.org/keywords/local-search","display_name":"Local search (optimization)","score":0.7728738784790039},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7421363592147827},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5162196159362793},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4968600571155548},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46704357862472534},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3101515769958496},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07565703988075256}],"concepts":[{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.790911078453064},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.777900218963623},{"id":"https://openalex.org/C135320971","wikidata":"https://www.wikidata.org/wiki/Q1868524","display_name":"Local search (optimization)","level":2,"score":0.7728738784790039},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7421363592147827},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5162196159362793},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4968600571155548},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46704357862472534},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3101515769958496},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07565703988075256},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2022/734","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2022/734","pdf_url":"https://www.ijcai.org/proceedings/2022/0734.pdf","source":{"id":"https://openalex.org/S4363608755","display_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2022/734","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2022/734","pdf_url":"https://www.ijcai.org/proceedings/2022/0734.pdf","source":{"id":"https://openalex.org/S4363608755","display_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.5400000214576721}],"awards":[{"id":"https://openalex.org/G3642641767","display_name":null,"funder_award_id":"62122078","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G37568934","display_name":null,"funder_award_id":"Grant","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":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4285603301.pdf","grobid_xml":"https://content.openalex.org/works/W4285603301.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W30950413","https://openalex.org/W78552530","https://openalex.org/W1513193674","https://openalex.org/W1559776123","https://openalex.org/W1600508047","https://openalex.org/W1667362966","https://openalex.org/W1748968569","https://openalex.org/W2125024536","https://openalex.org/W2182702718","https://openalex.org/W2335698967","https://openalex.org/W2345876752","https://openalex.org/W2498324117","https://openalex.org/W2625051394","https://openalex.org/W4233090747","https://openalex.org/W6603199135","https://openalex.org/W6703302253"],"related_works":["https://openalex.org/W2378211422","https://openalex.org/W2280422768","https://openalex.org/W4386614288","https://openalex.org/W1513193674","https://openalex.org/W1987268646","https://openalex.org/W2062525218","https://openalex.org/W1525479213","https://openalex.org/W2095071140","https://openalex.org/W3146831368","https://openalex.org/W3209431084"],"abstract_inverted_index":{"Modern":[0],"SAT":[1,109,138,141],"solvers":[2,96],"are":[3,76],"based":[4],"on":[5,102,128,149,200],"a":[6,51,58,113,186],"paradigm":[7],"named":[8],"conflict":[9,69],"driven":[10],"clause":[11],"learning":[12],"(CDCL),":[13],"while":[14],"local":[15,52,64,74],"search":[16,53,56,65,75,177,180],"is":[17,160],"an":[18],"important":[19],"alternative.":[20],"Although":[21],"there":[22],"have":[23],"been":[24],"attempts":[25],"combining":[26],"these":[27],"two":[28],"methods,":[29],"this":[30,159],"work":[31,163],"proposes":[32],"deeper":[33],"cooperation":[34],"techniques.":[35],"First,":[36],"we":[37,157],"relax":[38],"the":[39,63,68,79,105,122,135,150,161,166,169,172,183,191],"CDCL":[40,95],"framework":[41],"by":[42,182],"extending":[43],"promising":[44],"branches":[45],"to":[46,55,91],"complete":[47],"assignments":[48,66],"and":[49,67,82,99,112,144,178],"calling":[50],"solver":[54,133],"for":[57],"model":[59],"nearby.":[60],"More":[61],"importantly,":[62],"frequency":[70],"of":[71,85,108,117,168,175,185,195],"variables":[72],"in":[73,78,140],"exploited":[77],"phase":[80],"selection":[81],"branching":[83],"heuristics":[84],"CDCL.":[86],"We":[87],"use":[88],"our":[89],"techniques":[90,123],"improve":[92],"three":[93],"typical":[94],"(glucose,":[97],"MapleLCMDistChronoBT":[98],"Kissat).":[100],"Experiments":[101],"benchmarks":[103],"from":[104],"Main":[106,136],"tracks":[107],"Competitions":[110],"2017-2020":[111],"real":[114],"world":[115],"benchmark":[116],"spectrum":[118,151],"allocation":[119,152],"show":[120],"that":[121,164,189],"bring":[124],"significant":[125],"improvements,":[126],"particularly":[127],"satisfiable":[129],"instances.":[130],"A":[131],"resulting":[132],"won":[134],"Track":[137],"category":[139],"Competition":[142],"2020":[143],"also":[145],"performs":[146],"very":[147],"well":[148],"benchmark.":[153],"As":[154],"far":[155],"as":[156],"know,":[158],"first":[162],"meets":[165],"standard":[167,201],"challenge":[170],"``Demonstrate":[171],"successful":[173],"combination":[174],"stochastic":[176],"systematic":[179],"techniques,":[181],"creation":[184],"new":[187],"algorithm":[188],"outperforms":[190],"best":[192],"previous":[193],"examples":[194],"both":[196],"approaches.''":[197],"(AAAI":[198],"1997)":[199],"application":[202],"benchmarks.":[203]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}