Scholar
Kuldeep S. Meel
Google Scholar ID: bvW5Hs8AAAAJ
Associate Professor, University of Toronto
Beyond NP
Automated Reasoning
Formal Methods
Artificial Intelligence
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,219
H-index
32
i10-index
67
Publications
20
Co-authors
117
list available
Publications
19 items
Scaling Zero Knowledge UNSAT Verification via Normalized Chaining
2026
Cited
0
Total Variation Distance Estimation through Domain Reduction
2026
Cited
0
Estimating Size of the Union of Sets in Streaming Model
2026
Cited
0
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
Load more
Co-authors
16 total
Moshe Y. Vardi
Rice University
Supratik Chakraborty
Dept. of Computer Science and Engineering, IIT Bombay
Vinodchandran Variyam
Professor, Computer Science and Engineering, University of Nebraska-Lincoln
Bishwamittra Ghosh
Postdoctoral Researcher, MPI-SWS, Germany
Arnab Bhattacharyya
Associate Professor, University of Warwick
Pavan Aduri
Iowa State University
Priyanka Golia
Assistant Prof., Indian Institute of Technology Delhi
Sourav Chakraborty
Indian Statistical Institute, Kolkata
