S. Yang and K. S. Meel, “Engineering an Exact Pseudo-Boolean Model Counter”, AAAI, vol. 38, no. 8, pp. 8200-8208, Mar. 2024.