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

Jinzhao Li, Nan Jiang, Yexiang Xue

Browse the full AAAI paper archive.