Kuldeep S. Meel

Identifiers

• name variant Kuldeep S. Meel 0.60 · backfill

Papers (19)

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

Mentions

• 1511.07663 #2 · backfill · confidence 0.70 Kuldeep S. Meel
• 2505.18492 #5 · arxiv_oai · confidence 0.70 Kuldeep S. Meel
• 1407.4859 #2 · backfill · confidence 0.70 Kuldeep S. Meel
• 1404.6682 #1 · backfill · confidence 0.70 Kuldeep S. Meel
• 1404.2984 #3 · backfill · confidence 0.70 Kuldeep S. Meel
• 1403.6246 #2 · backfill · confidence 0.70 Kuldeep S. Meel
• 1306.5726 #2 · backfill · confidence 0.70 Kuldeep S. Meel
• 1304.1584 #2 · backfill · confidence 0.70 Kuldeep S. Meel
• 2406.18224 #1 · arxiv_oai · confidence 0.70 Kuldeep S. Meel

Frequent Coauthors

• Moshe Y. Vardi 7 shared papers
• Supratik Chakraborty 6 shared papers
• Daniel J. Fremont 2 shared papers
• Jeffrey M. Dudek 2 shared papers
• Sanjit A. Seshia 2 shared papers
• Ajinkya Naik 1 shared papers
• Alexander Ivrii 1 shared papers
• Alexis de Colnet 1 shared papers
• Ao Li 1 shared papers
• Ashutosh Gupta 1 shared papers
• Chaitanya Garg 1 shared papers
• Chris J. Maddison 1 shared papers
• Davin Choo 1 shared papers
• Deepak Majeti 1 shared papers
• Dmitry Malioutov 1 shared papers
• Dror Fried 1 shared papers
• Jialiang Sun 1 shared papers
• John Mellor-Crummey 1 shared papers
• Karthik Murthy 1 shared papers
• Kian Ming A. Chai 1 shared papers