Yang, S.; Meel, K. S. Towards Projected and Incremental Pseudo-Boolean Model Counting. AAAI 2025, 39, 11399-11407.