{"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/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/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]}],"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"],"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/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/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]}],"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"],"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/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/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]}],"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"],"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":null},"institutions":[{"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/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]}],"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"],"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/I5343935","display_name":"Guilin University of Electronic Technology","ror":"https://ror.org/05arjae42","country_code":"CN","type":"education","lineage":["https://openalex.org/I5343935"]},{"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/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]}],"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"],"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.552,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.72814019,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"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/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":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":"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":[{"score":0.6899999976158142,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G5248690910","display_name":null,"funder_award_id":"61862051","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5627474207","display_name":null,"funder_award_id":"61762019","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"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":true,"pdf":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-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}