Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees

Jinzhao Li, Nan Jiang, Yexiang Xue

Satisfiability Modulo Counting (SMC) encompasses problems that require both symbolic decision-making and statistical reasoning. Its general formulation captures many real-world pro…