Yang, Suwei, and Kuldeep S. Meel. 2025. “Towards Projected and Incremental Pseudo-Boolean Model Counting”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (11):11399-407. https://doi.org/10.1609/aaai.v39i11.33240.