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
14 items
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
CNFs and DNFs with Exactly $k$ Solutions
2025
Cited
0
On Top-Down Pseudo-Boolean Model Counting
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
Co-author 8
Co-author 8