Kuldeep S. Meel

Cited by

	All	Since 2019
Citations	3265	2862
h-index	30	30
i10-index	61	60

640

320

160

480

2014201520162017201820192020202120222023202413 33 91 122 125 303 353 478 623 590 512

Public access

View all

69 articles

1 article

available

not available

Based on funding mandates

Co-authors

Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Mate SoosSenior Research FellowVerified email at ethereum.org
Vinodchandran VariyamProfessor, Computer Science and Engineering, University of Nebraska-LincolnVerified email at cse.unl.edu
Bishwamittra GhoshPostdoctoral Researcher, MPI-SWS, GermanyVerified email at u.nus.edu
Sourav ChakrabortyIndian Statistical Institute, KolkataVerified email at isical.ac.in
Shubham SharmaPhD student, NUS, SingaporeVerified email at comp.nus.edu.sg
Priyanka GoliaAssistant Prof., Indian Institute of Technology DelhiVerified email at iitd.ac.in
Daniel J. FremontAssistant Professor, University of California, Santa CruzVerified email at ucsc.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Yash PoteNational University of SingaporeVerified email at comp.nus.edu.sg
Aditya A. ShrotriSiemens Digital Industries SoftwareVerified email at siemens.com
Arnab BhattacharyyaAssociate Professor, National University of SingaporeVerified email at nus.edu.sg
Pavan AduriIowa State UniversityVerified email at cs.iastate.edu
Teodora BalutaGeorgia Institute of TechnologyVerified email at gatech.edu
Dmitry MalioutovResearch Staff Member, T.J. Watson IBM Research centerVerified email at us.ibm.com
Dror FriedThe Open University of IsraelVerified email at openu.ac.il
axel legayUCLouvainVerified email at uclouvain.be
Leonardo Duenas-OsorioProfessor of Civil and Environmental Engineering, Rice UniversityVerified email at rice.edu
Roger ParedesPhD, Research Associate, Rice UniversityVerified email at rice.edu

Kuldeep S. Meel

Associate Professor, University of Toronto

Verified email at cs.toronto.edu - Homepage

Beyond NP Automated Reasoning Formal Methods Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A scalable approximate model counter S Chakraborty, KS Meel, MY Vardi Principles and Practice of Constraint Programming: 19th International …, 2013	203	2013
Distribution-aware sampling and weighted model counting for SAT S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi Proc. of AAAI, 2014	192	2014
Algorithmic improvements in approximate counting for probabilistic inference: From linear to logarithmic SAT calls S Chakraborty, KS Meel, MY Vardi Proc. of IJCAI, 2016	166	2016
BIRD: Engineering an Efficient CNF-XOR SAT Solver and its Applications to Approximate Model Counting M Soos, KS Meel Proc. of AAAI, 2019	142	2019
On parallel scalable uniform SAT witness generation S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	136	2015
A scalable and nearly uniform generator of SAT witnesses S Chakraborty, KS Meel, MY Vardi International Conference on Computer Aided Verification, 608-623, 2013	130	2013
Embedding symbolic knowledge into deep networks Y Xie, Z Xu, MS Kankanhalli, KS Meel, H Soh Advances in neural information processing systems 32, 2019	122	2019
Quantitative verification of neural networks and its security applications T Baluta, S Shen, S Shinde, KS Meel, P Saxena Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019	119	2019
GANAK: A Scalable Probabilistic Exact Model Counter S Sharma, S Roy, M Soos, KS Meel IJCAI 19, 1169-1176, 2019	104	2019
Tinted, Detached, and Lazy CNF-XOR solving and its Applications to Counting and Sampling M Soos, S Gocht, KS Meel International Conference on Computer Aided Verification (CAV), 2020	94	2020
Balancing Scalability and Uniformity in SAT Witness Generator S Chakraborty, KS Meel, MY Vardi The 51st Annual Design Automation Conference 2014, {DAC} '14, San Francisco …, 2014	94	2014
On computing minimal independent support and its applications to sampling and counting A Ivrii, S Malik, KS Meel, MY Vardi Constraints 21, 41-58, 2016	86	2016
Counting-Based Reliability Estimation for Power-Transmission Grids L Duenas-Osorio, KS Meel, R Paredes, MY Vardi Proc. of AAAI, 2017	79	2017
Constrained sampling and counting: Universal hashing meets sat solving KS Meel, MY Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ... AAAI Workshop: Beyond NP 2016, 2016	76	2016
Assessing heuristic machine learning explanations with model counting N Narodytska, A Shrotri, KS Meel, A Ignatiev, J Marques-Silva Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019	75	2019
From Weighted to Unweighted Model Counting S Chakraborty, D Fried, KS Meel, MY Vardi IJCAI, 689-695, 2015	75	2015
Approximate Probabilistic Inference via Word-Level Counting S Chakraborty, KS Meel, R Mistry, MY Vardi Proc. of AAAI, 2016	74	2016
Scalable quantitative verification for deep neural networks T Baluta, ZL Chua, KS Meel, P Saxena 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021	59	2021
Knowledge Compilation meets Uniform Sampling S Sharma, R Gupta, S Roy, KS Meel Proc. of LPAR, 2018	56	2018
MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules D Malioutov, KS Meel International Conference on Principles and Practice of Constraint …, 2018	51	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors