gDMC: A Generic Distributed Model Counting Framework via Work-Stealing

Zhenghang Xu, Minghao Yin, Jumping Zhou +1

Propositional Model Counting ($\#\mathsf{SAT}$) is essential for probabilistic reasoning but faces scalability limits on single cores. Existing distributed approaches struggle with…