Suwei Yang, Yong Lai, Kuldeep S. Meel: On Top-Down Pseudo-Boolean Model Counting. SAT 2025: 31:1-31:10