ResearchTrend.AI
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling

Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling

Mate Soos
Kuldeep S. Meel
ArXiv (abs)PDFHTML

Papers citing "Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling"

3 / 3 papers shown
Title
Systematic Parameter Decision in Approximate Model Counting
Systematic Parameter Decision in Approximate Model Counting
Jinping Lei
Toru Takisaka
Junqiang Peng
Mingyu Xiao
74
0
0
08 Apr 2025
Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice
Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice
Kuldeep S. Meel
S. Akshay
20
27
0
30 Apr 2020
Quantitative Verification of Neural Networks And its Security Applications
Quantitative Verification of Neural Networks And its Security Applications
Teodora Baluta
Shiqi Shen
Shweta Shinde
Kuldeep S. Meel
P. Saxena
AAML
59
105
0
25 Jun 2019

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.