Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2305.09247
Cited By
Rounding Meets Approximate Model Counting
16 May 2023
Jiong Yang
Kuldeep S. Meel
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Rounding Meets Approximate Model Counting"
2 / 2 papers shown
Title
Systematic Parameter Decision in Approximate Model Counting
Jinping Lei
Toru Takisaka
Junqiang Peng
Mingyu Xiao
111
0
0
08 Apr 2025
Locally-Minimal Probabilistic Explanations
Yacine Izza
Kuldeep S. Meel
Sasha Rubin
75
3
0
19 Dec 2023
1
