Systematic Parameter Decision in Approximate Model Counting

v1v2 (latest)

Systematic Parameter Decision in Approximate Model Counting

8 April 2025

ArXiv (abs)PDF HTML

Papers citing "Systematic Parameter Decision in Approximate Model Counting"

9 / 9 papers shown

Title
Rounding Meets Approximate Model Counting Jiong Yang Kuldeep S. Meel 46 7 0 16 May 2023
Projected Model Counting: Beyond Independent Support Jiong Yang Supratik Chakraborty Kuldeep S. Meel 45 4 0 18 Oct 2021
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling Mate Soos Kuldeep S. Meel 94 21 0 18 Oct 2021
Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice Kuldeep S. Meel S. Akshay 40 27 0 30 Apr 2020
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 89 105 0 25 Jun 2019
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving Kuldeep S. Meel Moshe Y. Vardi Supratik Chakraborty Daniel J. Fremont Sanjit A. Seshia Dror Fried A. Ivrii S. Malik 92 78 0 21 Dec 2015
Approximate Probabilistic Inference via Word-Level Counting Supratik Chakraborty Kuldeep S. Meel Rakesh Mistry Moshe Y. Vardi TPM 78 59 0 24 Nov 2015
Distribution-Aware Sampling and Weighted Model Counting for SAT Supratik Chakraborty Daniel J. Fremont Kuldeep S. Meel Sanjit A. Seshia Moshe Y. Vardi 100 158 0 11 Apr 2014
Taming the Curse of Dimensionality: Discrete Integration by Hashing and Optimization Stefano Ermon Carla P. Gomes Ashish Sabharwal B. Selman 82 131 0 27 Feb 2013