Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits.

Jinzhao Li, Nan Jiang, Yexiang Xue

Browse the full ICML paper archive.