Li, J., Jiang, N., & Xue, Y. (2024). Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees. Proceedings of the AAAI Conference on Artificial Intelligence, 38(18), 20481–20490. https://doi.org/10.1609/aaai.v38i18.30032