{"id":"https://openalex.org/W4404651552","doi":"https://doi.org/10.1007/s11432-023-3900-7","title":"Optimizing local search-based partial MaxSAT solving via initial assignment prediction","display_name":"Optimizing local search-based partial MaxSAT solving via initial assignment prediction","publication_year":2024,"publication_date":"2024-11-21","ids":{"openalex":"https://openalex.org/W4404651552","doi":"https://doi.org/10.1007/s11432-023-3900-7"},"language":"en","primary_location":{"id":"doi:10.1007/s11432-023-3900-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11432-023-3900-7","pdf_url":null,"source":{"id":"https://openalex.org/S4210218743","display_name":"Science China Information Sciences","issn_l":"1674-733X","issn":["1674-733X","1869-1919"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science China Information Sciences","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5114246768","display_name":"Chanjuan Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chanjuan Liu","raw_affiliation_strings":["School of Computer Science and Technology, Dalian University of Technology, Dalian, 116024, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Dalian University of Technology, Dalian, 116024, China","institution_ids":["https://openalex.org/I27357992"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101611486","display_name":"Guangyuan Liu","orcid":"https://orcid.org/0000-0002-3285-3986"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guangyuan Liu","raw_affiliation_strings":["School of Computer Science and Technology, Dalian University of Technology, Dalian, 116024, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Dalian University of Technology, Dalian, 116024, China","institution_ids":["https://openalex.org/I27357992"]}]},{"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/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Chuan Luo","raw_affiliation_strings":["School of Software, Beihang University, Beijing, 100191, China"],"affiliations":[{"raw_affiliation_string":"School of Software, Beihang University, Beijing, 100191, China","institution_ids":["https://openalex.org/I82880672"]}]},{"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":"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":"Shaowei Cai","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033711595","display_name":"Zhendong Lei","orcid":null},"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":"Zhendong Lei","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100385498","display_name":"Wenjie Zhang","orcid":"https://orcid.org/0000-0001-6572-2600"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenjie Zhang","raw_affiliation_strings":["School of Computer Science, Peking University, Beijing, 100871, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, Peking University, Beijing, 100871, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102842838","display_name":"Yi Chu","orcid":"https://orcid.org/0000-0003-4681-7414"},"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":"Yi Chu","raw_affiliation_strings":["Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China"],"affiliations":[{"raw_affiliation_string":"Institute of Software, Chinese Academy of Sciences, Beijing, 100190, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052762597","display_name":"Guojing Zhang","orcid":"https://orcid.org/0000-0003-2152-4105"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guojing Zhang","raw_affiliation_strings":["School of Computer Science and Technology, Dalian University of Technology, Dalian, 116024, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Dalian University of Technology, Dalian, 116024, China","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5006894386"],"corresponding_institution_ids":["https://openalex.org/I82880672"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":2.1191,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.8855107,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"68","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9951000213623047,"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.9951000213623047,"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.9926999807357788,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9778000116348267,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.9364147186279297},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.7573913335800171},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6030222177505493},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.5943374633789062},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.5413854122161865},{"id":"https://openalex.org/keywords/local-search","display_name":"Local search (optimization)","score":0.5266509056091309},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5103310942649841},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4227573573589325},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3637312054634094},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.33986419439315796},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.20421060919761658}],"concepts":[{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.9364147186279297},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.7573913335800171},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6030222177505493},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5943374633789062},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.5413854122161865},{"id":"https://openalex.org/C135320971","wikidata":"https://www.wikidata.org/wiki/Q1868524","display_name":"Local search (optimization)","level":2,"score":0.5266509056091309},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5103310942649841},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4227573573589325},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3637312054634094},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.33986419439315796},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.20421060919761658},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11432-023-3900-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11432-023-3900-7","pdf_url":null,"source":{"id":"https://openalex.org/S4210218743","display_name":"Science China Information Sciences","issn_l":"1674-733X","issn":["1674-733X","1869-1919"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science China Information Sciences","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Climate action","score":0.4699999988079071,"id":"https://metadata.un.org/sdg/13"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W1493215903","https://openalex.org/W1540044141","https://openalex.org/W1576560203","https://openalex.org/W1589332181","https://openalex.org/W1597020313","https://openalex.org/W1913543287","https://openalex.org/W1994497972","https://openalex.org/W2012694101","https://openalex.org/W2065250634","https://openalex.org/W2071319337","https://openalex.org/W2094716844","https://openalex.org/W2113745924","https://openalex.org/W2131292691","https://openalex.org/W2131529421","https://openalex.org/W2147148915","https://openalex.org/W2252595579","https://openalex.org/W2321167683","https://openalex.org/W2421912678","https://openalex.org/W2484319280","https://openalex.org/W2498324117","https://openalex.org/W2507614533","https://openalex.org/W2508256772","https://openalex.org/W2549191282","https://openalex.org/W2579165050","https://openalex.org/W2595233870","https://openalex.org/W2596164567","https://openalex.org/W2602753196","https://openalex.org/W2604314403","https://openalex.org/W2767925358","https://openalex.org/W2805224814","https://openalex.org/W2808673780","https://openalex.org/W2810313326","https://openalex.org/W2889229460","https://openalex.org/W2901159074","https://openalex.org/W2914393402","https://openalex.org/W2915722758","https://openalex.org/W2919115771","https://openalex.org/W2970049512","https://openalex.org/W2973660513","https://openalex.org/W2995373617","https://openalex.org/W3035746743","https://openalex.org/W3038094279","https://openalex.org/W3094195525","https://openalex.org/W3161042355","https://openalex.org/W3181629460","https://openalex.org/W3183162149","https://openalex.org/W3193394022","https://openalex.org/W3211898816","https://openalex.org/W4221027644","https://openalex.org/W4226251311","https://openalex.org/W4233375563","https://openalex.org/W4249478690","https://openalex.org/W4285605871","https://openalex.org/W4294691643","https://openalex.org/W6607333740","https://openalex.org/W6690815549","https://openalex.org/W6748262478"],"related_works":["https://openalex.org/W2408080066","https://openalex.org/W2394616262","https://openalex.org/W2406837904","https://openalex.org/W3152212242","https://openalex.org/W2014111643","https://openalex.org/W2102364390","https://openalex.org/W1525479213","https://openalex.org/W1913543287","https://openalex.org/W2336941104","https://openalex.org/W3120153087"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":6}],"updated_date":"2026-03-23T06:02:50.125483","created_date":"2025-10-10T00:00:00"}