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