5 papers
A Distributed Framework for Compiling and Reasoning with d-DNNF
Zhenghang Xu, Minghao Yin, jianan Wang +1
Knowledge Compilation (KC) is a powerful paradigm that enables efficient reasoning by transforming propositional formulas into tractable target languages, such as Deterministic, De…
gDMC: A Generic Distributed Model Counting Framework via Work-Stealing
Zhenghang Xu, Minghao Yin, Jumping Zhou +1
Propositional Model Counting () is essential for probabilistic reasoning but faces scalability limits on single cores. Existing distributed approaches struggle with…
Data-driven solar forecasting enables near-optimal economic decisions
Zhixiang Dai, Minghao Yin, Xuanhong Chen +27
Solar energy adoption is critical to achieving net-zero emissions. However, it remains difficult for many industrial and commercial actors to decide on whether they should adopt di…
Scalable Precise Computation of Shannon Entropy
Yong Lai, Haolong Tong, Zhenghang Xu +1
Quantitative information flow analyses (QIF) are a class of techniques for measuring the amount of confidential information leaked by a program to its public outputs. Shannon entro…
PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas
Yong Lai, Zhenghang Xu, Minghao Yin
In Weighted Model Counting (WMC), we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment…