J. Li, N. Jiang, and Y. Xue, “Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees”, AAAI, vol. 38, no. 18, pp. 20481–20490, Mar. 2024.