Kuldeep S. Meel

Venues

Frequent coauthors

Papers

1. The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques
   AAAI 2026 ·

   Brendan Juba

   DBLP profile ↗ORCID search ↗
2. An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs
   ICDT 2025 · Kuldeep S. Meel
3. Computational Explorations of Total Variation Distance
   ICLR 2025 ·

   Arnab Bhattacharyya

   DBLP profile ↗ORCID search ↗
4. Distance Estimation for High-Dimensional Discrete Distributions
   AISTATS 2025 · Kuldeep S. Meel
5. Efficient Volume Computation for SMT Formulas
   KR 2025 ·

   Arijit Shaw

   DBLP profile ↗ORCID search ↗
6. Probabilistic Explanations for Linear Models
   AAAI 2025 ·

   Bernardo Subercaseaux

   DBLP profile ↗ORCID search ↗
7. Towards Projected and Incremental Pseudo-Boolean Model Counting
   AAAI 2025 ·

   Suwei Yang

   DBLP profile ↗ORCID search ↗
8. Towards Real-Time Approximate Counting
   AAAI 2025 ·

   Yash Pote

   DBLP profile ↗ORCID search ↗
9. An Approximate Skolem Function Counter
   AAAI 2024 ·

   Arijit Shaw

   DBLP profile ↗ORCID search ↗
10. Auditable Algorithms for Approximate Model Counting
    AAAI 2024 · Kuldeep S. Meel
11. Engineering an Exact Pseudo-Boolean Model Counter
    AAAI 2024 ·

    Suwei Yang

    DBLP profile ↗ORCID search ↗
12. Equivalence Testing: The Power of Bounded Adaptivity
    AISTATS 2024 ·

    Diptarka Chakraborty

    DBLP profile ↗ORCID search ↗
13. Exact ASP Counting with Compact Encodings
    AAAI 2024 ·

    Mohimenul Kabir

    DBLP profile ↗ORCID search ↗
14. Locally-Minimal Probabilistic Explanations
    ECAI 2024 ·

    Yacine Izza

    DBLP profile ↗ORCID search ↗
15. Model Counting in the Wild
    KR 2024 ·

    Arijit Shaw

    DBLP profile ↗ORCID search ↗
16. Total Variation Distance Meets Probabilistic Inference
    ICML 2024 ·

    Arnab Bhattacharyya

    DBLP profile ↗ORCID search ↗