Kuldeep S. Meel
Scholar

Kuldeep S. Meel

Google Scholar ID: bvW5Hs8AAAAJ
Associate Professor, University of Toronto
Beyond NPAutomated ReasoningFormal MethodsArtificial Intelligence
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,219
 
H-index
32
 
i10-index
67
 
Publications
20
 
Co-authors
117
list available
Contact
No contact links provided.
Publications
16 items
CSB: A Counting and Sampling tool for Bit-vectors
2026
Cited
0
Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach
2026
Cited
0
The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques
2025
Cited
0
Counting and Sampling Traces in Regular Languages
2025
Cited
0
Towards Practical Zero-Knowledge Proof for PSPACE
2025
Cited
0
Efficient Volume Computation for SMT Formulas
2025
Cited
0
Approximate SMT Counting Beyond Discrete Domains
2025
Cited
0
Towards practical FPRAS for #NFA: Exploiting the Power of Dependence
2025
Cited
0
Resume (English only)
Co-authors
117 total
Moshe Y. Vardi
Moshe Y. Vardi
Rice University
Supratik Chakraborty
Supratik Chakraborty
Dept. of Computer Science and Engineering, IIT Bombay
Co-author 3
Co-author 3
Vinodchandran Variyam
Vinodchandran Variyam
Professor, Computer Science and Engineering, University of Nebraska-Lincoln
Bishwamittra Ghosh
Bishwamittra Ghosh
Postdoctoral Researcher, MPI-SWS, Germany
Arnab Bhattacharyya
Arnab Bhattacharyya
Associate Professor, University of Warwick
Pavan Aduri
Pavan Aduri
Iowa State University
Priyanka Golia
Priyanka Golia
Assistant Prof., Indian Institute of Technology Delhi