works on
distributed algorithms 1exact counting 1model counting 1parallel SAT solving 1work stealing 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

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…