@misc{indiciaea31c47f62727,
  title = {On Top-Down Pseudo-Boolean Model Counting},
  author = {Suwei Yang and Yong Lai and Kuldeep S. Meel},
  year = {2025},
  url = {https://arxiv.org/abs/2506.05232},
  note = {Source identifier: 2506.05232}
}