{"id":"https://openalex.org/W2739607635","doi":"https://doi.org/10.24963/ijcai.2017/80","title":"From Decimation to Local Search and Back: A New Approach to MaxSAT","display_name":"From Decimation to Local Search and Back: A New Approach to MaxSAT","publication_year":2017,"publication_date":"2017-07-28","ids":{"openalex":"https://openalex.org/W2739607635","doi":"https://doi.org/10.24963/ijcai.2017/80","mag":"2739607635"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2017/80","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/80","pdf_url":"https://www.ijcai.org/proceedings/2017/0080.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth 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/2017/0080.pdf","any_repository_has_fulltext":null},"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/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","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":["State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences","School of Computer and Control Engineering, University of Chinese Academy of Sciences, China","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"School of Computer and Control Engineering, 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":"middle","author":{"id":"https://openalex.org/A5006894386","display_name":"Chuan Luo","orcid":"https://orcid.org/0000-0001-5028-1064"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210090176","display_name":"Institute of Computing Technology","ror":"https://ror.org/0090r4d87","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210090176"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chuan Luo","raw_affiliation_strings":["Institute of Computing Technology, Chinese Academy of Sciences","Institute of Computing Technology, Chinese Academy of Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computing Technology, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Institute of Computing Technology, Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210090176","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100708288","display_name":"Haochen Zhang","orcid":"https://orcid.org/0009-0006-6950-5244"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haochen Zhang","raw_affiliation_strings":["Chinese Academy of Sciences","State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences","institution_ids":["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"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.1901,"has_fulltext":false,"cited_by_count":30,"citation_normalized_percentile":{"value":0.93543938,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"571","last_page":"577"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12535","display_name":"Machine Learning and Data Classification","score":0.9972000122070312,"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"}},"topics":[{"id":"https://openalex.org/T12535","display_name":"Machine Learning and Data Classification","score":0.9972000122070312,"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/T10100","display_name":"Metaheuristic Optimization Algorithms Research","score":0.9937999844551086,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9919000267982483,"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/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.9576508402824402},{"id":"https://openalex.org/keywords/decimation","display_name":"Decimation","score":0.85440993309021},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.7153884768486023},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5651611685752869},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.49814343452453613},{"id":"https://openalex.org/keywords/local-search","display_name":"Local search (optimization)","score":0.48709821701049805},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.4514627754688263},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.31082308292388916},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.29739004373550415},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.0647071897983551}],"concepts":[{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.9576508402824402},{"id":"https://openalex.org/C173642442","wikidata":"https://www.wikidata.org/wiki/Q1253346","display_name":"Decimation","level":3,"score":0.85440993309021},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.7153884768486023},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5651611685752869},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.49814343452453613},{"id":"https://openalex.org/C135320971","wikidata":"https://www.wikidata.org/wiki/Q1868524","display_name":"Local search (optimization)","level":2,"score":0.48709821701049805},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.4514627754688263},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.31082308292388916},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.29739004373550415},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.0647071897983551},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2017/80","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/80","pdf_url":"https://www.ijcai.org/proceedings/2017/0080.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2017/80","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/80","pdf_url":"https://www.ijcai.org/proceedings/2017/0080.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1792002526","display_name":null,"funder_award_id":"61502464","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4304641529","display_name":null,"funder_award_id":"2014CB340301","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G5677211295","display_name":null,"funder_award_id":"2014CB340301","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5959688763","display_name":null,"funder_award_id":"61502464","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program 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/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/F4320335777","display_name":"National Key Research and Development Program of China","ror":null},{"id":"https://openalex.org/F4320335892","display_name":"Youth Innovation Promotion Association","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2739607635.pdf","grobid_xml":"https://content.openalex.org/works/W2739607635.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W60686164","https://openalex.org/W128865939","https://openalex.org/W1509089938","https://openalex.org/W1825789089","https://openalex.org/W1863234917","https://openalex.org/W1950282396","https://openalex.org/W2049136377","https://openalex.org/W2054387247","https://openalex.org/W2078661369","https://openalex.org/W2126446661","https://openalex.org/W2131292691","https://openalex.org/W2131529421","https://openalex.org/W2134514766","https://openalex.org/W2164346692","https://openalex.org/W2165372647","https://openalex.org/W2182702718","https://openalex.org/W2251648435","https://openalex.org/W2261570667","https://openalex.org/W2408617648","https://openalex.org/W2484319280","https://openalex.org/W2549191282","https://openalex.org/W2605364281","https://openalex.org/W2950654313","https://openalex.org/W4238552142","https://openalex.org/W4253362517"],"related_works":["https://openalex.org/W2301405299","https://openalex.org/W4285605366","https://openalex.org/W2118943303","https://openalex.org/W3150741540","https://openalex.org/W4253759203","https://openalex.org/W2085380335","https://openalex.org/W2115480761","https://openalex.org/W1525479213","https://openalex.org/W3146831368","https://openalex.org/W2006190002"],"abstract_inverted_index":{"Maximum":[0],"Satisfiability":[1],"(MaxSAT)":[2],"is":[3],"an":[4],"important":[5],"NP-hard":[6],"combinatorial":[7],"optimization":[8],"problem":[9],"with":[10,41,60],"many":[11],"applications":[12],"and":[13,37,55,105,123,134,137],"MaxSAT":[14,84,91],"solving":[15],"has":[16],"attracted":[17],"much":[18],"interest.":[19],"This":[20],"work":[21],"proposes":[22],"a":[23,31,42],"new":[24],"incomplete":[25],"approach":[26,47,118],"to":[27,89,119,145],"MaxSAT.":[28],"We":[29,114],"propose":[30],"novel":[32],"decimation":[33,53],"algorithm":[34,54],"for":[35,97],"MaxSAT,":[36,122],"then":[38],"combine":[39],"it":[40,99],"local":[43,57,129],"search":[44,58,130],"algorithm.":[45],"Our":[46],"works":[48],"by":[49],"interleaving":[50],"between":[51,64],"the":[52,56,75,83,124],"algorithm,":[59],"useful":[61],"information":[62],"passed":[63],"them.":[65],"Experiments":[66],"show":[67],"that":[68],"our":[69],"solver":[70],"DeciLS":[71],"achieves":[72],"state":[73],"of":[74],"art":[76],"performance":[77],"on":[78,102,108,132,141],"all":[79],"unweighted":[80],"benchmarks":[81,96,104],"from":[82,111],"Evaluation":[85],"2016.":[86],"Moreover,":[87],"compared":[88],"SAT-based":[90,146],"solvers":[92,126,131],"which":[93],"dominate":[94],"industrial":[95,103,135],"years,":[98],"performs":[100],"better":[101,107],"significantly":[106,127],"application":[109],"formulas":[110],"SAT":[112],"Competition.":[113],"also":[115],"extend":[116],"this":[117],"(Weighted)":[120],"Partial":[121],"resulting":[125],"improve":[128],"crafted":[133,143],"benchmarks,":[136],"are":[138],"complementary":[139],"(better":[140],"WPMS":[142],"benchmarks)":[144],"solvers.":[147]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":5}],"updated_date":"2026-07-12T07:33:03.550515","created_date":"2025-10-10T00:00:00"}