Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2004.14692
Cited By
Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice
Logic in Computer Science (LICS), 2020
30 April 2020
Kuldeep S. Meel
S. Akshay
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice"
8 / 8 papers shown
Systematic Parameter Decision in Approximate Model Counting
Jinping Lei
Toru Takisaka
Junqiang Peng
Mingyu Xiao
336
0
0
08 Apr 2025
Formally Certified Approximate Model Counting
Yong Kiam Tan
Jiong Yang
Mate Soos
Magnus O. Myreen
Kuldeep S. Meel
346
3
0
17 Jun 2024
Locally-Minimal Probabilistic Explanations
Yacine Izza
Kuldeep S. Meel
Sasha Rubin
368
8
0
19 Dec 2023
Rounding Meets Approximate Model Counting
International Conference on Computer Aided Verification (CAV), 2023
Jiong Yang
Kuldeep S. Meel
195
11
0
16 May 2023
Projected Model Counting: Beyond Independent Support
Jiong Yang
Supratik Chakraborty
Kuldeep S. Meel
233
4
0
18 Oct 2021
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling
Mate Soos
Kuldeep S. Meel
228
23
0
18 Oct 2021
Partition Function Estimation: A Quantitative Study
International Joint Conference on Artificial Intelligence (IJCAI), 2021
Durgesh Kumar Agrawal
Yash Pote
Kuldeep S. Meel
262
13
0
24 May 2021
Learning Branching Heuristics for Propositional Model Counting
Pashootan Vaezipoor
Gil Lederman
Yuhuai Wu
Chris J. Maddison
Roger C. Grosse
Sanjit A. Seshia
F. Bacchus
LRM
311
14
0
07 Jul 2020
1
Page 1 of 1
