From the 2 of 3 linked papers with an AI index.
3 papers
cs.DC2026
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…
cs.DC2026
gDMC: A Generic Distributed Model Counting Framework via Work-Stealing
Zhenghang Xu, Minghao Yin, Jumping Zhou +1
The paper introduces gDMC, a generic framework that uses work‑stealing to distribute exact propositional model counting across multiple cores, allowing existing #SAT solvers to be…
cs.AI2026
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…