S. Yang and K. S. Meel, “Towards Projected and Incremental Pseudo-Boolean Model Counting”, AAAI, vol. 39, no. 11, pp. 11399–11407, Apr. 2025.