{"id":"https://openalex.org/W3135025837","doi":"https://doi.org/10.3390/e23030303","title":"A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form","display_name":"A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form","publication_year":2021,"publication_date":"2021-03-04","ids":{"openalex":"https://openalex.org/W3135025837","doi":"https://doi.org/10.3390/e23030303","mag":"3135025837","pmid":"https://pubmed.ncbi.nlm.nih.gov/33806451"},"language":"en","primary_location":{"id":"doi:10.3390/e23030303","is_oa":true,"landing_page_url":"https://doi.org/10.3390/e23030303","pdf_url":"https://www.mdpi.com/1099-4300/23/3/303/pdf?version=1615882902","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/23/3/303/pdf?version=1615882902","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016280468","display_name":"Zaijun Zhang","orcid":null},"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":["College of Computer Science and Technology, Guizhou University, Guiyang 550025, China","Key Laboratory of Complex Systems and Intelligent Computing and School of Mathematics and Statistics, Qiannan Normal University for Nationalities, Duyun 558000, China"],"raw_orcid":"https://orcid.org/0000-0002-0016-2419","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Guizhou University, Guiyang 550025, China","institution_ids":["https://openalex.org/I178232147"]},{"raw_affiliation_string":"Key Laboratory of Complex Systems and Intelligent Computing and 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/A5102397893","display_name":"Daoyun Xu","orcid":null},"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"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Daoyun Xu","raw_affiliation_strings":["College of Computer Science and Technology, Guizhou University, Guiyang 550025, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Guizhou University, Guiyang 550025, China","institution_ids":["https://openalex.org/I178232147"]}]},{"author_position":"last","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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jincheng Zhou","raw_affiliation_strings":["Key Laboratory of Complex Systems and Intelligent Computing and School of Mathematics and Statistics, 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 Computing and 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":3,"corresponding_author_ids":["https://openalex.org/A5102397893"],"corresponding_institution_ids":["https://openalex.org/I178232147"],"apc_list":{"value":2000,"currency":"CHF","value_usd":2165},"apc_paid":{"value":2000,"currency":"CHF","value_usd":2165},"fwci":1.1222,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.78605618,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"23","issue":"3","first_page":"303","last_page":"303"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9965999722480774,"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.9965999722480774,"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/T11106","display_name":"Data Management and Algorithms","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9896000027656555,"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/entropy","display_name":"Entropy (arrow of time)","score":0.6192435026168823},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6127037405967712},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5998370051383972},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.47499600052833557},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.41469770669937134},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.41209664940834045},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.347436785697937},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3026047945022583}],"concepts":[{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.6192435026168823},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6127037405967712},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5998370051383972},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.47499600052833557},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.41469770669937134},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.41209664940834045},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.347436785697937},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3026047945022583},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.3390/e23030303","is_oa":true,"landing_page_url":"https://doi.org/10.3390/e23030303","pdf_url":"https://www.mdpi.com/1099-4300/23/3/303/pdf?version=1615882902","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:33806451","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/33806451","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:4b7ca993f0fb45aea7d72e48d3ac4e8e","is_oa":true,"landing_page_url":"https://doaj.org/article/4b7ca993f0fb45aea7d72e48d3ac4e8e","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 23, Iss 3, p 303 (2021)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/1099-4300/23/3/303/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/e23030303","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 23; Issue 3; Pages: 303","raw_type":"Text"},{"id":"pmh:oai:pubmedcentral.nih.gov:8001598","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/8001598","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/e23030303","is_oa":true,"landing_page_url":"https://doi.org/10.3390/e23030303","pdf_url":"https://www.mdpi.com/1099-4300/23/3/303/pdf?version=1615882902","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":[],"awards":[{"id":"https://openalex.org/G3338094486","display_name":"\u547d\u9898\u516c\u5f0f\u7684\u7ed3\u6784\u71b5\u5728\u4fe1\u606f\u4f20\u64ad\u7b97\u6cd5\u6c42\u89e3SAT\u95ee\u9898\u4e2d\u7684\u5e94\u7528\u7814\u7a76","funder_award_id":"62062001","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/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"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3135025837.pdf"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W30950413","https://openalex.org/W67367170","https://openalex.org/W73352345","https://openalex.org/W153834087","https://openalex.org/W192406999","https://openalex.org/W193263981","https://openalex.org/W343200749","https://openalex.org/W1492641605","https://openalex.org/W1506255457","https://openalex.org/W1709155369","https://openalex.org/W1968198053","https://openalex.org/W2036265926","https://openalex.org/W2081692349","https://openalex.org/W2095293504","https://openalex.org/W2097153130","https://openalex.org/W2129791282","https://openalex.org/W2172820611","https://openalex.org/W2338678442","https://openalex.org/W2409909788","https://openalex.org/W2460678386","https://openalex.org/W2521713091","https://openalex.org/W2741122540","https://openalex.org/W2885386724","https://openalex.org/W2950654313","https://openalex.org/W2979928436","https://openalex.org/W6629317198","https://openalex.org/W6637371358","https://openalex.org/W6685426645"],"related_works":["https://openalex.org/W2186864281","https://openalex.org/W4255427455","https://openalex.org/W1966025497","https://openalex.org/W68941528","https://openalex.org/W4206451355","https://openalex.org/W1553604823","https://openalex.org/W8322802","https://openalex.org/W314331466","https://openalex.org/W3120490799","https://openalex.org/W2049545441"],"abstract_inverted_index":{"The":[0,105,136],"satisfiability":[1],"(SAT)":[2],"problem":[3,7],"is":[4,34,96,117,159],"a":[5,86,111,125,170,179,198,206,230],"core":[6],"in":[8,62,172,187],"computer":[9],"science.":[10],"Existing":[11],"studies":[12],"have":[13],"shown":[14],"that":[15,36,90,140,155,178,201,240],"most":[16],"industrial":[17],"SAT":[18,26,30,42],"instances":[19,31],"can":[20,144],"be":[21],"effectively":[22,145,243],"solved":[23],"by":[24,67],"modern":[25],"solvers":[27,249],"while":[28],"random":[29],"cannot.":[32],"It":[33],"believed":[35],"the":[37,46,56,68,82,91,94,99,103,107,113,120,130,141,147,151,156,166,173,192,202,209,212,236,245,248],"structural":[38,57,71,78,100,131,148,167,203],"characteristics":[39],"of":[40,59,70,73,85,102,110,133,150,169,195,205,211,247],"different":[41,188],"formula":[43,87,95,153,171],"classes":[44],"are":[45],"reasons":[47],"behind":[48],"this":[49,52,241],"difference.":[50],"In":[51],"paper,":[53],"we":[54,76,123,164,220],"study":[55],"properties":[58,168],"propositional":[60],"formulas":[61],"conjunctive":[63],"normal":[64],"form":[65],"(CNF)":[66],"principle":[69],"entropy":[72,79,101,132,149,204],"formulas.":[74,135],"First,":[75],"used":[77],"to":[80,98,118,128,184,190],"measure":[81],"complex":[83],"structure":[84],"and":[88,154,176,200,235,251],"found":[89,177],"difficulty":[92],"solving":[93],"related":[97],"formula.":[104,121],"smaller":[106],"compressing":[108],"information":[109],"formula,":[112],"more":[114,160],"difficult":[115],"it":[116],"solve":[119],"Secondly,":[122],"proposed":[124,142,222],"\u03bb-approximation":[126],"strategy":[127,143,228,242],"approximate":[129,146],"large":[134],"experimental":[137,237],"results":[138,238],"showed":[139,239],"original":[152],"approximation":[157],"ratio":[158],"than":[161],"92%.":[162],"Finally,":[163],"analyzed":[165],"solution":[174,226],"process":[175],"local":[180,231],"search":[181,199,232],"solver":[182],"tends":[183],"select":[185],"variables":[186],"communities":[189],"perform":[191],"next":[193],"round":[194],"searches":[196],"during":[197],"variable":[207,213],"affects":[208],"probability":[210],"being":[214],"flipped.":[215],"By":[216],"using":[217],"these":[218,256],"conclusions,":[219],"also":[221],"an":[223],"initial":[224],"candidate":[225],"generation":[227],"for":[229,233],"SAT,":[234],"improves":[244],"performance":[246],"CCAsat":[250],"Sparrow2011":[252],"when":[253],"incorporated":[254],"into":[255],"two":[257],"solvers.":[258]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-06-06T09:05:17.133730","created_date":"2025-10-10T00:00:00"}