Yang, S.; Meel, K. S. Engineering an Exact Pseudo-Boolean Model Counter. AAAI 2024, 38, 8200-8208.