Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2309.08883
Cited By
Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
16 September 2023
Jinzhao Li
Nan Jiang
Yexiang Xue
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees"
2 / 2 papers shown
Title
An Exact Solver for Satisfiability Modulo Counting with Probabilistic Circuits
Jinzhao Li
Nan Jiang
Yexiang Xue
36
0
0
02 Mar 2025
Solving Marginal MAP Exactly by Probabilistic Circuit Transformations
YooJung Choi
Tal Friedman
Mathias Niepert
TPM
30
11
0
08 Nov 2021
1
