4 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…
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…