Kuldeep S. Meel

Cited by

	All	Since 2017
Citations	1890	1745
h-index	22	22
i10-index	40	38

480

240

120

360

20142015201620172018201920202021202213 36 89 130 124 319 334 478 359

Public access

View all

54 articles

0 articles

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
Daniel J. FremontAssistant Professor, University of California, Santa CruzVerified email at ucsc.edu
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
Bishwamittra GhoshPhD Student, National University of SingaporeVerified email at u.nus.edu
Shubham SharmaPhD student, NUS, SingaporeVerified email at comp.nus.edu.sg
Priyanka GoliaJoint Ph.D. candidate with Indian Institute of Technology, Kanpur,India, and National University ofVerified email at cse.iitk.ac.in
Aditya A. ShrotriRice UniversityVerified email at rice.edu
Leonardo Duenas-OsorioProfessor of Civil and Environmental Engineering, Rice UniversityVerified email at rice.edu
Roger ParedesDoctoral Candidate, Rice UniversityVerified email at rice.edu
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerified email at princeton.edu
Alexander IvriiIBMVerified email at il.ibm.com
Dmitry MalioutovResearch Staff Member, T.J. Watson IBM Research centerVerified email at us.ibm.com
Rahul GuptaIndian Institute of Technology KanpurVerified email at cse.iitk.ac.in
axel legayUCLouvainVerified email at uclouvain.be
Sourav ChakrabortyIndian Statistical Institute, KolkataVerified email at isical.ac.in
Vinodchandran VariyamProfessor, Computer Science and Engineering, University of Nebraska-LincolnVerified email at cse.unl.edu
Prateek SaxenaNational University of SingaporeVerified email at comp.nus.edu.sg
Teodora BalutaPhD candidate, National University of SingaporeVerified email at comp.nus.edu.sg
Yash PoteNational University of SingaporeVerified email at comp.nus.edu.sg

Kuldeep S. Meel

Assistant Professor, National University of Singapore

Verified email at comp.nus.edu.sg - 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 International Conference on Principles and Practice of Constraint …, 2013	170	2013
Distribution-aware sampling and weighted model counting for SAT S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi Proc. of AAAI, 2014	147	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	126	2016
A scalable and nearly uniform generator of SAT witnesses S Chakraborty, KS Meel, MY Vardi International Conference on Computer Aided Verification, 608-623, 2013	105	2013
On parallel scalable uniform SAT witness generation S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi International Conference on Tools and Algorithms for the Construction and …, 2015	98	2015
BIRD: Engineering an Efficient CNF-XOR SAT Solver and its Applications to Approximate Model Counting M Soos, KS Meel Proc. of AAAI, 2019	97	2019
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	75	2014
On computing minimal independent support and its applications to sampling and counting A Ivrii, S Malik, KS Meel, MY Vardi Constraints 21 (1), 41-58, 2016	68	2016
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	66	2016
GANAK: A Scalable Probabilistic Exact Model Counter S Sharma, S Roy, M Soos, KS Meel IJCAI 19, 1169-1176, 2019	55	2019
From weighted to unweighted model counting S Chakraborty, D Fried, KS Meel, MY Vardi Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015	55	2015
Approximate Probabilistic Inference via Word-Level Counting S Chakraborty, KS Meel, R Mistry, MY Vardi Proc. of AAAI, 2016	54	2016
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	53	2019
Counting-Based Reliability Estimation for Power-Transmission Grids L Duenas-Osorio, KS Meel, R Paredes, MY Vardi Proc. of AAAI, 2017	52	2017
Embedding symbolic knowledge into deep networks Y Xie, Z Xu, MS Kankanhalli, KS Meel, H Soh Advances in neural information processing systems 32, 2019	43*	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	42	2020
Assessing heuristic machine learning explanations with model counting N Narodytska, A Shrotri, KS Meel, A Ignatiev, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2019	39	2019
Scalable Approximation of Quantitative Information Flow in Programs F Biondi, M Enescu, A Heuser, A Legay, KS Meel, J Quilbeuf In Proc. of VMCAI, 2018	37	2018
MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules D Malioutov, KS Meel International Conference on Principles and Practice of Constraint …, 2018	29	2018
Knowledge Compilation meets Uniform Sampling S Sharma, R Gupta, S Roy, KS Meel Proc. of LPAR, 2018	27	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