Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2309.08883
Cited By
v1
v2 (latest)
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 (abs)
PDF
HTML
Papers citing
"Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees"
1 / 1 papers shown
Title
Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits
Jinzhao Li
Nan Jiang
Yexiang Xue
65
0
0
02 Mar 2025
1
