Kuldeep S. Meel

Citado por

	Total	Desde 2018
Citas	2343	2061
Índice h	26	25
Índice i10	44	43

620

310

155

465

201420152016201720182019202020212022202313 41 86 132 126 313 338 467 613 201

Acceso público

Ver todo

55 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Moshe Y. VardiRice UniversityDirección de correo verificada de cs.rice.edu
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayDirección de correo verificada de iitb.ac.in
Mate SoosSenior Research FellowDirección de correo verificada de ethereum.org
Bishwamittra GhoshPhD Student, National University of SingaporeDirección de correo verificada de u.nus.edu
Daniel J. FremontAssistant Professor, University of California, Santa CruzDirección de correo verificada de ucsc.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
Shubham SharmaPhD student, NUS, SingaporeDirección de correo verificada de comp.nus.edu.sg
Priyanka GoliaJoint Ph.D. candidate with Indian Institute of Technology, Kanpur,India, and National University ofDirección de correo verificada de cse.iitk.ac.in
Sourav ChakrabortyIndian Statistical Institute, KolkataDirección de correo verificada de isical.ac.in
Aditya A. ShrotriRice UniversityDirección de correo verificada de rice.edu
Dmitry MalioutovResearch Staff Member, T.J. Watson IBM Research centerDirección de correo verificada de us.ibm.com
Leonardo Duenas-OsorioProfessor of Civil and Environmental Engineering, Rice UniversityDirección de correo verificada de rice.edu
Roger ParedesPhD, Research Associate, Rice UniversityDirección de correo verificada de rice.edu
Vinodchandran VariyamProfessor, Computer Science and Engineering, University of Nebraska-LincolnDirección de correo verificada de cse.unl.edu
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityDirección de correo verificada de princeton.edu
Alexander IvriiIBMDirección de correo verificada de il.ibm.com
Rahul GuptaIndian Institute of Technology KanpurDirección de correo verificada de cse.iitk.ac.in
Yash PoteNational University of SingaporeDirección de correo verificada de comp.nus.edu.sg
Prateek SaxenaNational University of SingaporeDirección de correo verificada de comp.nus.edu.sg
Teodora BalutaPhD candidate, National University of SingaporeDirección de correo verificada de comp.nus.edu.sg

Seguir

Kuldeep S. Meel

Assistant Professor, National University of Singapore

Dirección de correo verificada de comp.nus.edu.sg - Página principal

Beyond NP Automated Reasoning Formal Methods Artificial Intelligence


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
A scalable approximate model counter S Chakraborty, KS Meel, MY Vardi Principles and Practice of Constraint Programming: 19th International …, 2013	188	2013
Distribution-aware sampling and weighted model counting for SAT S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi Proc. of AAAI, 2014	162	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	140	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	117	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	114	2015
BIRD: Engineering an Efficient CNF-XOR SAT Solver and its Applications to Approximate Model Counting M Soos, KS Meel Proc. of AAAI, 2019	108	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	81	2014
Embedding symbolic knowledge into deep networks Y Xie, Z Xu, MS Kankanhalli, KS Meel, H Soh Advances in neural information processing systems 32, 2019	78	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	77	2019
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	77	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	74	2016
GANAK: A Scalable Probabilistic Exact Model Counter S Sharma, S Roy, M Soos, KS Meel IJCAI 19, 1169-1176, 2019	66	2019
From Weighted to Unweighted Model Counting. S Chakraborty, D Fried, KS Meel, MY Vardi IJCAI, 689-695, 2015	64	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	61	2020
Counting-Based Reliability Estimation for Power-Transmission Grids L Duenas-Osorio, KS Meel, R Paredes, MY Vardi Proc. of AAAI, 2017	61	2017
Approximate Probabilistic Inference via Word-Level Counting S Chakraborty, KS Meel, R Mistry, MY Vardi Proc. of AAAI, 2016	59	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	55	2019
Knowledge Compilation meets Uniform Sampling S Sharma, R Gupta, S Roy, KS Meel Proc. of LPAR, 2018	40	2018
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	40	2018
MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules D Malioutov, KS Meel International Conference on Principles and Practice of Constraint …, 2018	35	2018

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores