pith. sign in

Kuldeep S. Meel

Identifiers

  • name variant Kuldeep S. Meel 0.60 · backfill

Papers (18)

  1. Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach cs.AI · 2026 · author #4
  2. CNFs and DNFs with Exactly $k$ Solutions cs.DM · 2025 · author #3
  3. #CFG and #DNNF admit FPRAS cs.DS · 2024 · author #1
  4. Quantitative Verification of Neural Networks And its Security Applications cs.CR · 2019 · author #4
  5. BOSPHORUS: Bridging ANF and CNF Solvers cs.LO · 2018 · author #4
  6. MLIC: A MaxSAT-Based framework for learning interpretable classification rules cs.AI · 2018 · author #2
  7. Constrained Counting and Sampling: Bridging the Gap between Theory and Practice cs.LO · 2018 · author #1
  8. The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas cs.DM · 2017 · author #2
  9. Combining the $k$-CNF and XOR Phase-Transitions cs.DM · 2017 · author #2
  10. Distributed Phasers cs.DC · 2015 · author #3
  11. Constrained Sampling and Counting: Universal Hashing Meets SAT Solving cs.AI · 2015 · author #1
  12. Approximate Probabilistic Inference via Word-Level Counting cs.AI · 2015 · author #2
  13. ADHA: Automatic Data layout framework for Heterogeneous Architectures cs.DC · 2014 · author #2
  14. Sampling Techniques for Boolean Satisfiability cs.LO · 2014 · author #1
  15. Distribution-Aware Sampling and Weighted Model Counting for SAT cs.AI · 2014 · author #3
  16. Balancing Scalability and Uniformity in SAT Witness Generator cs.LO · 2014 · author #2
  17. A Scalable Approximate Model Counter cs.LO · 2013 · author #2
  18. A Scalable and Nearly Uniform Generator of SAT Witnesses cs.LO · 2013 · author #2

Mentions

  • 2406.18224 #1 · arxiv_oai · confidence 0.70 Kuldeep S. Meel

Frequent Coauthors