{"type":"ScholarlyArticle","title":"gDMC: A Generic Distributed Model Counting Framework via Work-Stealing","authors":[{"name":"Zhenghang Xu","slug":"zhenghang-xu","given":"Zhenghang","family":"Xu","affiliation":""},{"name":"Minghao Yin","slug":"minghao-yin","given":"Minghao","family":"Yin","affiliation":""},{"name":"Junping Zhou","slug":"junping-zhou","given":"Junping","family":"Zhou","affiliation":""},{"name":"Jean-Marie Lagniez","slug":"jean-marie-lagniez","given":"Jean-Marie","family":"Lagniez","affiliation":""}],"abstract":"Propositional Model Counting (#SAT) is essential for probabilistic reasoning but faces scalability limits on single cores. Existing distributed approaches struggle with high initialization overheads (static decomposition) or rigid architecture. We propose a novel, generic framework for distributed exact model counting. Leveraging C++ templates, our architecture decouples parallel orchestration from solving logic, enabling state-of-the-art solvers to be parallelized with minimal modification. We implement an adaptive work-stealing strategy that ensures effective load balancing. Experiments on competition benchmarks show that our approach achieves near-linear scalability and significantly outperforms existing distributed solvers.","doi":"10.24963/ijcai.2026/268","url":"https://ijcai.org/proceedings/2026/268","pdf":"https://ijcai.org/proceedings/2026/0268.pdf","markdown":"https://ijcai.org/proceedings/2026/268.md","bibtex":"https://ijcai.org/proceedings/2026/bibtex/268","volume":{"slug":"2026","title":"Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2026","url":"https://ijcai.org/proceedings/2026/","year":2026,"location":"Bremen, Germany","dates":"15-21 August 2026","editors":"Diego Calvanese","isbn":"978-1-956792-09-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2026"},"section":"Constraint Satisfaction and Optimization","track":"Main Track","number":268,"pages":{"first":2409,"last":2417},"keywords":["Constraint Satisfaction and Optimization: Constraint programming","Constraint Satisfaction and Optimization: Solvers and tools","Constraint Satisfaction and Optimization: Distributed constraints"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}