Kuldeep S. Meel

Cited by

	All	Since 2018
Citations	2154	1872
h-index	25	24
i10-index	43	41

620

310

155

465

201420152016201720182019202020212022202313 33 94 132 128 312 338 453 605 31

Public access

View all

53 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
Mate SoosSenior Research FellowVerified email at ethereum.org
Bishwamittra GhoshPhD Student, National University of SingaporeVerified email at u.nus.edu
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
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 ParedesPhD, Research Associate, 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
Rahul GuptaIndian Institute of Technology KanpurVerified email at cse.iitk.ac.in
Dmitry MalioutovResearch Staff Member, T.J. Watson IBM Research centerVerified email at us.ibm.com
axel legayUCLouvainVerified email at uclouvain.be
Vinodchandran VariyamProfessor, Computer Science and Engineering, University of Nebraska-LincolnVerified email at cse.unl.edu
Yash PoteNational University of SingaporeVerified email at comp.nus.edu.sg
Prateek SaxenaNational University of SingaporeVerified email at comp.nus.edu.sg
Teodora BalutaPhD candidate, National University of SingaporeVerified email at comp.nus.edu.sg
Harold SohAssistant Professor at National 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 Principles and Practice of Constraint Programming: 19th International …, 2013	182	2013
Distribution-aware sampling and weighted model counting for SAT S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi Proc. of AAAI, 2014	153	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	135	2016
A scalable and nearly uniform generator of SAT witnesses S Chakraborty, KS Meel, MY Vardi Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	111	2013
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	107	2015
BIRD: Engineering an Efficient CNF-XOR SAT Solver and its Applications to Approximate Model Counting M Soos, KS Meel Proc. of AAAI, 2019	103	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	80	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	74	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	71	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	67	2019
Embedding symbolic knowledge into deep networks Y Xie, Z Xu, MS Kankanhalli, KS Meel, H Soh Advances in neural information processing systems 32, 2019	65	2019
GANAK: A Scalable Probabilistic Exact Model Counter S Sharma, S Roy, M Soos, KS Meel IJCAI 19, 1169-1176, 2019	61	2019
Counting-Based Reliability Estimation for Power-Transmission Grids L Duenas-Osorio, KS Meel, R Paredes, MY Vardi Proc. of AAAI, 2017	58	2017
Approximate Probabilistic Inference via Word-Level Counting S Chakraborty, KS Meel, R Mistry, MY Vardi Proc. of AAAI, 2016	58	2016
From weighted to unweighted model counting S Chakraborty, D Fried, KS Meel, MY Vardi Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015	58	2015
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	52	2020
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	48	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	39	2018
Knowledge Compilation meets Uniform Sampling S Sharma, R Gupta, S Roy, KS Meel Proc. of LPAR, 2018	35	2018
MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules D Malioutov, KS Meel International Conference on Principles and Practice of Constraint …, 2018	33	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