Li, J.; Jiang, N.; Xue, Y. Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees. AAAI 2024, 38, 20481-20490.