An Exact Solver for Satisfiability Modulo Counting with Probabilistic Circuits

Re-assign community