{"id":"https://openalex.org/W2952096052","doi":"https://doi.org/10.4230/lipics.sat.2025.20","title":"Scalable Precise Computation of Shannon Entropy","display_name":"Scalable Precise Computation of Shannon Entropy","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W2952096052","doi":"https://doi.org/10.4230/lipics.sat.2025.20","mag":"2952096052"},"language":"en","primary_location":{"id":"doi:10.4230/lipics.sat.2025.20","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.sat.2025.20","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"type":"conference-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.4230/lipics.sat.2025.20","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Lai, Yong","orcid":"https://orcid.org/0000-0002-6882-0107"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]},{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]}],"countries":["CA","CN"],"is_corresponding":false,"raw_author_name":"Lai, Yong","raw_affiliation_strings":["Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education, Jilin University, Changchun, China","[Department of Computer Science, University of British Columbia, Vancouver, BC, Canada]"],"raw_orcid":"https://orcid.org/0000-0002-6882-0107","affiliations":[{"raw_affiliation_string":"Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education, Jilin University, Changchun, China","institution_ids":["https://openalex.org/I194450716"]},{"raw_affiliation_string":"[Department of Computer Science, University of British Columbia, Vancouver, BC, Canada]","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Tong, Haolong","orcid":"https://orcid.org/0009-0007-9320-0923"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]},{"id":"https://openalex.org/I194450716","display_name":"Jilin University","ror":"https://ror.org/00js3aw79","country_code":"CN","type":"education","lineage":["https://openalex.org/I194450716"]},{"id":"https://openalex.org/I4210134929","display_name":"Jilin Province Science and Technology Department","ror":"https://ror.org/049x38272","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210134929"]}],"countries":["CA","CN"],"is_corresponding":false,"raw_author_name":"Tong, Haolong","raw_affiliation_strings":["College of Computer Science and Technology, Jilin University, Changchun, China","[Department of Computer Science, University of British Columbia, Vancouver, BC, Canada]"],"raw_orcid":"https://orcid.org/0009-0007-9320-0923","affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Jilin University, Changchun, China","institution_ids":["https://openalex.org/I194450716","https://openalex.org/I4210134929"]},{"raw_affiliation_string":"[Department of Computer Science, University of British Columbia, Vancouver, BC, Canada]","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Xu, Zhenghang","orcid":"https://orcid.org/0000-0001-6535-8052"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]},{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CA","CN"],"is_corresponding":false,"raw_author_name":"Xu, Zhenghang","raw_affiliation_strings":["School of Computer Science and Information Technology, Northeast Normal University, Changchun, China","[Department of Computer Science, University of British Columbia, Vancouver, BC, Canada]"],"raw_orcid":"https://orcid.org/0000-0001-6535-8052","affiliations":[{"raw_affiliation_string":"School of Computer Science and Information Technology, Northeast Normal University, Changchun, China","institution_ids":["https://openalex.org/I184983240"]},{"raw_affiliation_string":"[Department of Computer Science, University of British Columbia, Vancouver, BC, Canada]","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"last","author":{"id":null,"display_name":"Yin, Minghao","orcid":"https://orcid.org/0000-0002-6226-2394"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]},{"id":"https://openalex.org/I184983240","display_name":"Northeast Normal University","ror":"https://ror.org/02rkvz144","country_code":"CN","type":"education","lineage":["https://openalex.org/I184983240"]}],"countries":["CA","CN"],"is_corresponding":false,"raw_author_name":"Yin, Minghao","raw_affiliation_strings":["School of Computer Science and Information Technology, Northeast Normal University, Changchun, China","[Department of Computer Science, University of British Columbia, Vancouver, BC, Canada]"],"raw_orcid":"https://orcid.org/0000-0002-6226-2394","affiliations":[{"raw_affiliation_string":"School of Computer Science and Information Technology, Northeast Normal University, Changchun, China","institution_ids":["https://openalex.org/I184983240"]},{"raw_affiliation_string":"[Department of Computer Science, University of British Columbia, Vancouver, BC, Canada]","institution_ids":["https://openalex.org/I141945490"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.673,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.78191847,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9998999834060669,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9998999834060669,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9914000034332275,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9793999791145325,"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/markov-decision-process","display_name":"Markov decision process","score":0.8918039798736572},{"id":"https://openalex.org/keywords/influence-diagram","display_name":"Influence diagram","score":0.7773952484130859},{"id":"https://openalex.org/keywords/dynamic-programming","display_name":"Dynamic programming","score":0.7606018781661987},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.722528338432312},{"id":"https://openalex.org/keywords/bellman-equation","display_name":"Bellman equation","score":0.5979601144790649},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5778225064277649},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5372064113616943},{"id":"https://openalex.org/keywords/stochastic-programming","display_name":"Stochastic programming","score":0.5239279866218567},{"id":"https://openalex.org/keywords/bayesian-network","display_name":"Bayesian network","score":0.46967655420303345},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.4604016840457916},{"id":"https://openalex.org/keywords/dynamic-bayesian-network","display_name":"Dynamic Bayesian network","score":0.44207873940467834},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.42697712779045105},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4115154445171356},{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.4081880748271942},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.36037254333496094},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24401292204856873},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.2109588384628296},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20668724179267883},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18716242909431458}],"concepts":[{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.8918039798736572},{"id":"https://openalex.org/C20837028","wikidata":"https://www.wikidata.org/wiki/Q623966","display_name":"Influence diagram","level":3,"score":0.7773952484130859},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.7606018781661987},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.722528338432312},{"id":"https://openalex.org/C14646407","wikidata":"https://www.wikidata.org/wiki/Q1430750","display_name":"Bellman equation","level":2,"score":0.5979601144790649},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5778225064277649},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5372064113616943},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.5239279866218567},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.46967655420303345},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4604016840457916},{"id":"https://openalex.org/C82142266","wikidata":"https://www.wikidata.org/wiki/Q3456604","display_name":"Dynamic Bayesian network","level":3,"score":0.44207873940467834},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.42697712779045105},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4115154445171356},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.4081880748271942},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.36037254333496094},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24401292204856873},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2109588384628296},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20668724179267883},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18716242909431458},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4230/lipics.sat.2025.20","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.sat.2025.20","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"doi:10.4230/lipics.sat.2025.20","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.sat.2025.20","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.75}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1544444076","https://openalex.org/W1603307620","https://openalex.org/W1650504995","https://openalex.org/W1984090594","https://openalex.org/W1997477668","https://openalex.org/W2033697467","https://openalex.org/W2080267935","https://openalex.org/W2119567691","https://openalex.org/W2138186376","https://openalex.org/W2159080219","https://openalex.org/W2168395502"],"related_works":["https://openalex.org/W2152670157","https://openalex.org/W2120406836","https://openalex.org/W4308702637","https://openalex.org/W2386410636","https://openalex.org/W176737593","https://openalex.org/W2808418668","https://openalex.org/W2903299703","https://openalex.org/W2016648086","https://openalex.org/W2156021013","https://openalex.org/W2166866299"],"abstract_inverted_index":{"Quantitative":[0],"information":[1,16],"flow":[2],"analyses":[3],"(QIF)":[4],"are":[5,110],"a":[6,19,61,72,92,153],"class":[7],"of":[8,14,35,54,91,116,155,159],"techniques":[9],"for":[10],"measuring":[11],"the":[12,33,43,51,55,67,100,105,114,122,135,160],"amount":[13,34],"confidential":[15],"leaked":[17],"by":[18],"program":[20,93],"to":[21,31,59,112,132,150],"its":[22],"public":[23],"outputs.":[24,117],"Shannon":[25,56],"entropy":[26,57,97],"is":[27,169],"an":[28],"important":[29],"method":[30],"quantify":[32],"leakage":[36],"in":[37,46,152],"QIF.":[38],"This":[39],"paper":[40],"focuses":[41],"on":[42],"programs":[44],"modeled":[45],"Boolean":[47],"constraints":[48],"and":[49,83,94,165],"optimizes":[50],"two":[52],"stages":[53],"computation":[58],"implement":[60],"scalable":[62],"precise":[63,137],"tool":[64,127],"PSE.":[65],"In":[66,99],"first":[68],"stage,":[69,102],"we":[70,103],"design":[71],"knowledge":[73],"compilation":[74],"language":[75],"called":[76],"ADD[\u2227]":[77,86],"that":[78,109,143,162],"combines":[79],"Algebraic":[80],"Decision":[81],"Diagrams":[82],"conjunctive":[84],"decomposition.":[85],"avoids":[87],"enumerating":[88],"possible":[89],"outputs":[90],"supports":[95],"tractable":[96],"computation.":[98],"second":[101],"optimize":[104],"model":[106],"counting":[107],"queries":[108],"used":[111],"compute":[113],"probabilities":[115],"We":[118],"compare":[119],"PSE":[120,144,164,168],"with":[121],"state-of-the-art":[123],"probabilistic":[124],"approximately":[125],"correct":[126],"EntropyEstimation,":[128],"which":[129],"was":[130],"shown":[131],"significantly":[133],"outperform":[134],"previous":[136],"tools.":[138],"The":[139],"experimental":[140],"results":[141],"demonstrate":[142],"solved":[145],"56":[146],"more":[147],"benchmarks":[148,161],"compared":[149],"EntropyEstimation":[151,166],"total":[154],"459.":[156],"For":[157],"98%":[158],"both":[163],"solved,":[167],"at":[170],"least":[171],"10\u00d7":[172],"as":[173,175],"efficient":[174],"EntropyEstimation.":[176]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2019-06-27T00:00:00"}