{"id":"https://openalex.org/W4312141303","doi":"https://doi.org/10.3390/e24121846","title":"Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT","display_name":"Initial Solution Generation and Diversified Variable Picking in Local Search for (Weighted) Partial MaxSAT","publication_year":2022,"publication_date":"2022-12-18","ids":{"openalex":"https://openalex.org/W4312141303","doi":"https://doi.org/10.3390/e24121846","pmid":"https://pubmed.ncbi.nlm.nih.gov/36554251"},"language":"en","primary_location":{"id":"doi:10.3390/e24121846","is_oa":true,"landing_page_url":"https://doi.org/10.3390/e24121846","pdf_url":"https://www.mdpi.com/1099-4300/24/12/1846/pdf?version=1671607682","source":{"id":"https://openalex.org/S195231649","display_name":"Entropy","issn_l":"1099-4300","issn":["1099-4300"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Entropy","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj","pubmed"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/1099-4300/24/12/1846/pdf?version=1671607682","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029385936","display_name":"Zaijun Zhang","orcid":"https://orcid.org/0000-0002-0690-1673"},"institutions":[{"id":"https://openalex.org/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]},{"id":"https://openalex.org/I4210167317","display_name":"Qiannan Normal College For Nationalities","ror":"https://ror.org/05szpc322","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210167317"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zaijun Zhang","raw_affiliation_strings":["Key Laboratory of Complex Systems and Intelligent Optimization of Guizhou Province, Duyun 558000, China","School of Mathematics and Statistics, Qiannan Normal University for Nationalities, Duyun 558000, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of Complex Systems and Intelligent Optimization of Guizhou Province, Duyun 558000, China","institution_ids":["https://openalex.org/I178232147"]},{"raw_affiliation_string":"School of Mathematics and Statistics, Qiannan Normal University for Nationalities, Duyun 558000, China","institution_ids":["https://openalex.org/I4210167317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043452497","display_name":"Jincheng Zhou","orcid":"https://orcid.org/0000-0002-1995-4002"},"institutions":[{"id":"https://openalex.org/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]},{"id":"https://openalex.org/I4210167317","display_name":"Qiannan Normal College For Nationalities","ror":"https://ror.org/05szpc322","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210167317"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jincheng Zhou","raw_affiliation_strings":["Key Laboratory of Complex Systems and Intelligent Optimization of Guizhou Province, Duyun 558000, China","School of Computer and Information, Qiannan Normal University for Nationalities, Duyun 558000, China"],"raw_orcid":"https://orcid.org/0000-0002-1995-4002","affiliations":[{"raw_affiliation_string":"Key Laboratory of Complex Systems and Intelligent Optimization of Guizhou Province, Duyun 558000, China","institution_ids":["https://openalex.org/I178232147"]},{"raw_affiliation_string":"School of Computer and Information, Qiannan Normal University for Nationalities, Duyun 558000, China","institution_ids":["https://openalex.org/I4210167317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100360034","display_name":"Xiaoxia Wang","orcid":"https://orcid.org/0000-0001-6639-002X"},"institutions":[{"id":"https://openalex.org/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]},{"id":"https://openalex.org/I4210167317","display_name":"Qiannan Normal College For Nationalities","ror":"https://ror.org/05szpc322","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210167317"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoxia Wang","raw_affiliation_strings":["Key Laboratory of Complex Systems and Intelligent Optimization of Guizhou Province, Duyun 558000, China","School of Mathematics and Statistics, Qiannan Normal University for Nationalities, Duyun 558000, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of Complex Systems and Intelligent Optimization of Guizhou Province, Duyun 558000, China","institution_ids":["https://openalex.org/I178232147"]},{"raw_affiliation_string":"School of Mathematics and Statistics, Qiannan Normal University for Nationalities, Duyun 558000, China","institution_ids":["https://openalex.org/I4210167317"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104342530","display_name":"Heng Yang","orcid":"https://orcid.org/0000-0002-9013-1199"},"institutions":[{"id":"https://openalex.org/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]},{"id":"https://openalex.org/I4210167317","display_name":"Qiannan Normal College For Nationalities","ror":"https://ror.org/05szpc322","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210167317"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Heng Yang","raw_affiliation_strings":["Key Laboratory of Complex Systems and Intelligent Optimization of Guizhou Province, Duyun 558000, China","School of Mathematics and Statistics, Qiannan Normal University for Nationalities, Duyun 558000, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of Complex Systems and Intelligent Optimization of Guizhou Province, Duyun 558000, China","institution_ids":["https://openalex.org/I178232147"]},{"raw_affiliation_string":"School of Mathematics and Statistics, Qiannan Normal University for Nationalities, Duyun 558000, China","institution_ids":["https://openalex.org/I4210167317"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101739239","display_name":"Yi Fan","orcid":"https://orcid.org/0000-0001-9412-1791"},"institutions":[{"id":"https://openalex.org/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]},{"id":"https://openalex.org/I4210167317","display_name":"Qiannan Normal College For Nationalities","ror":"https://ror.org/05szpc322","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210167317"]},{"id":"https://openalex.org/I5343935","display_name":"Guilin University of Electronic Technology","ror":"https://ror.org/05arjae42","country_code":"CN","type":"education","lineage":["https://openalex.org/I5343935"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Fan","raw_affiliation_strings":["Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin 541004, China","Key Laboratory of Complex Systems and Intelligent Optimization of Guizhou Province, Duyun 558000, China","School of Mathematics and Statistics, Qiannan Normal University for Nationalities, Duyun 558000, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin 541004, China","institution_ids":["https://openalex.org/I5343935"]},{"raw_affiliation_string":"Key Laboratory of Complex Systems and Intelligent Optimization of Guizhou Province, Duyun 558000, China","institution_ids":["https://openalex.org/I178232147"]},{"raw_affiliation_string":"School of Mathematics and Statistics, Qiannan Normal University for Nationalities, Duyun 558000, China","institution_ids":["https://openalex.org/I4210167317"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5043452497"],"corresponding_institution_ids":["https://openalex.org/I178232147","https://openalex.org/I4210167317"],"apc_list":{"value":2000,"currency":"CHF","value_usd":2165},"apc_paid":{"value":2000,"currency":"CHF","value_usd":2165},"fwci":0.555,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.73041259,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"24","issue":"12","first_page":"1846","last_page":"1846"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9919999837875366,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9919999837875366,"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/T12288","display_name":"Optimization and Search Problems","score":0.9854000210762024,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9828000068664551,"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.7913050651550293},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.6275863647460938},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4798521399497986},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3927941918373108},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.36791521310806274},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.33702582120895386},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.326604425907135},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3250565528869629},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.318062424659729}],"concepts":[{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.7913050651550293},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.6275863647460938},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4798521399497986},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3927941918373108},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.36791521310806274},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.33702582120895386},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.326604425907135},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3250565528869629},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.318062424659729},{"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/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.3390/e24121846","is_oa":true,"landing_page_url":"https://doi.org/10.3390/e24121846","pdf_url":"https://www.mdpi.com/1099-4300/24/12/1846/pdf?version=1671607682","source":{"id":"https://openalex.org/S195231649","display_name":"Entropy","issn_l":"1099-4300","issn":["1099-4300"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Entropy","raw_type":"journal-article"},{"id":"pmid:36554251","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/36554251","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Entropy (Basel, Switzerland)","raw_type":null},{"id":"pmh:oai:doaj.org/article:fd907b93e8cd4112b5beaf211b34d1d2","is_oa":true,"landing_page_url":"https://doaj.org/article/fd907b93e8cd4112b5beaf211b34d1d2","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Entropy, Vol 24, Iss 12, p 1846 (2022)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/1099-4300/24/12/1846/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/e24121846","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Entropy; Volume 24; Issue 12; Pages: 1846","raw_type":"Text"},{"id":"pmh:oai:pubmedcentral.nih.gov:9777583","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/9777583","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Entropy (Basel)","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/e24121846","is_oa":true,"landing_page_url":"https://doi.org/10.3390/e24121846","pdf_url":"https://www.mdpi.com/1099-4300/24/12/1846/pdf?version=1671607682","source":{"id":"https://openalex.org/S195231649","display_name":"Entropy","issn_l":"1099-4300","issn":["1099-4300"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Entropy","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6899999976158142,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1108111281","display_name":null,"funder_award_id":"qnsy202204","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1565237663","display_name":null,"funder_award_id":"2020XK05ST","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2258064145","display_name":null,"funder_award_id":"No. Qiankehe Foundation-ZK[2022] General 550","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3167472103","display_name":null,"funder_award_id":"qnsy202203","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3397007809","display_name":null,"funder_award_id":"[2019]1299","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4582655518","display_name":null,"funder_award_id":"KY[2019]067","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5248690910","display_name":"\u53d8\u5143\u6b63\u8d1f\u51fa\u73b0\u6982\u7387\u53d7\u63a7\u7684\u968f\u673a\u6b63\u5219k-SAT\u95ee\u9898\u7814\u7a76","funder_award_id":"61862051","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G542368251","display_name":null,"funder_award_id":"No. KY[2018]080","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5627474207","display_name":"d-\u6b63\u5219\u547d\u9898\u516c\u5f0f\u7684\u53ef\u6ee1\u8db3\u95ee\u9898\u7814\u7a76","funder_award_id":"61762019","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6168373835","display_name":null,"funder_award_id":"2019XK01ST","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7619142626","display_name":null,"funder_award_id":"qnsy2018015","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7632410490","display_name":null,"funder_award_id":"62241206","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8091079338","display_name":null,"funder_award_id":"KY[2019]201","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8906635167","display_name":null,"funder_award_id":"2019XK02ST","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/W4312141303.pdf","grobid_xml":"https://content.openalex.org/works/W4312141303.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W37002918","https://openalex.org/W159010701","https://openalex.org/W167199924","https://openalex.org/W192935825","https://openalex.org/W202901394","https://openalex.org/W967127597","https://openalex.org/W1495942578","https://openalex.org/W1506475229","https://openalex.org/W1539228153","https://openalex.org/W1578612406","https://openalex.org/W1607011516","https://openalex.org/W1667614912","https://openalex.org/W1833106254","https://openalex.org/W1975264899","https://openalex.org/W2034107192","https://openalex.org/W2044560939","https://openalex.org/W2048051309","https://openalex.org/W2057361103","https://openalex.org/W2062897452","https://openalex.org/W2071319337","https://openalex.org/W2082527422","https://openalex.org/W2104094082","https://openalex.org/W2118943303","https://openalex.org/W2128272523","https://openalex.org/W2131529421","https://openalex.org/W2153935965","https://openalex.org/W2165372647","https://openalex.org/W2171802366","https://openalex.org/W2185680923","https://openalex.org/W2285924542","https://openalex.org/W2338678442","https://openalex.org/W2484319280","https://openalex.org/W2486285674","https://openalex.org/W2549191282","https://openalex.org/W2621108739","https://openalex.org/W2739607635","https://openalex.org/W2808345295","https://openalex.org/W2987124936","https://openalex.org/W3038094279","https://openalex.org/W3135025837","https://openalex.org/W3191828433","https://openalex.org/W4210913232"],"related_works":["https://openalex.org/W2301405299","https://openalex.org/W4406029559","https://openalex.org/W2118943303","https://openalex.org/W2952805501","https://openalex.org/W1775352280","https://openalex.org/W2498042365","https://openalex.org/W2909188079","https://openalex.org/W2272616495","https://openalex.org/W1553206939","https://openalex.org/W2085380335"],"abstract_inverted_index":{"The":[0],"(weighted)":[1,133],"partial":[2,134],"maximum":[3],"satisfiability":[4,18],"((W)PMS)":[5],"problem":[6,14],"is":[7,48,66],"an":[8,31],"important":[9],"generalization":[10],"of":[11,15,23,54,171],"the":[12,42,93,102,148,168],"classic":[13],"propositional":[16],"(Boolean)":[17],"with":[19,92,101],"a":[20,34,51,63,69,78,86,99,116,125],"wide":[21],"range":[22],"real-world":[24],"applications.":[25],"In":[26],"this":[27],"paper,":[28],"we":[29,114,162],"propose":[30],"initialization":[32,46],"and":[33,58,105,129,155],"diversification":[35,75],"strategy":[36,47,76],"to":[37,61,68,89,166],"improve":[38],"local":[39,117,153],"search":[40,118,154],"for":[41],"(W)PMS":[43],"problem.":[44],"Our":[45],"based":[49],"on":[50,85,98,111,132],"novel":[52],"definition":[53],"variables'":[55],"structural":[56],"entropy,":[57],"it":[59],"aims":[60],"generate":[62],"solution":[64],"that":[65,142],"close":[67],"high-quality":[70],"feasible":[71],"one.":[72],"Then,":[73],"our":[74],"picks":[77],"variable":[79],"in":[80,137,159],"two":[81],"possible":[82],"ways,":[83],"depending":[84],"parameter:":[87],"continuing":[88],"pick":[90],"variables":[91,108],"best":[94],"benefits":[95],"or":[96,145],"focusing":[97],"clause":[100],"greatest":[103],"penalty":[104],"then":[106],"selecting":[107],"probabilistically.":[109],"Based":[110],"these":[112],"strategies,":[113],"developed":[115],"solver":[119,127],"dubbed":[120],"ImSATLike,":[121],"as":[122,124,151],"well":[123],"hybrid":[126,156],"ImSATLike-TT,":[128],"experimental":[130],"results":[131],"MaxSAT":[135,139],"instances":[136],"recent":[138],"Evaluations":[140],"show":[141],"they":[143],"outperform":[144],"have":[146],"nearly":[147],"same":[149],"performances":[150],"state-of-the-art":[152],"competitors,":[157],"respectively,":[158],"general.":[160],"Furthermore,":[161],"carried":[163],"out":[164],"experiments":[165],"confirm":[167],"individual":[169],"impacts":[170],"each":[172],"proposed":[173],"strategy.":[174]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2026-06-18T10:00:31.954636","created_date":"2025-10-10T00:00:00"}