An Embarrassingly Parallel Model Counter

1. Zhenghang Xu(School of Information Science and Technology, Northeast Normal University, Changchun, China, Key Laboratory of Applied Statistics of MOE, Northeast Normal University, Changchun, China)
2. Minghao Yin(School of Information Science and Technology, Northeast Normal University, Changchun, China, Key Laboratory of Applied Statistics of MOE, Northeast Normal University, Changchun, China)
3. Jean Marie Lagniez(Univ. Artois, CNRS, CRIL, F-62300 Lens, France)

@inproceedings{KR2025-65,
    title     = {{An Embarrassingly Parallel Model Counter}},
    author    = {Xu, Zhenghang and Yin, Minghao and Lagniez, Jean Marie},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {670--681},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/65},
    url       = {https://doi.org/10.24963/kr.2025/65},
  }