Li, Jinzhao, Nan Jiang, and Yexiang Xue. “Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees”. Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 18 (March 24, 2024): 20481–20490. Accessed May 14, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/30032.