Följ
Kuldeep S. Meel
Kuldeep S. Meel
Associate Professor, University of Toronto
Verifierad e-postadress på cs.toronto.edu - Startsida
Titel
Citeras av
Citeras av
År
A scalable approximate model counter
S Chakraborty, KS Meel, MY Vardi
Principles and Practice of Constraint Programming: 19th International …, 2013
2052013
Distribution-aware sampling and weighted model counting for SAT
S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi
Proc. of AAAI, 2014
1952014
Algorithmic improvements in approximate counting for probabilistic inference: From linear to logarithmic SAT calls
S Chakraborty, KS Meel, MY Vardi
Proc. of IJCAI, 2016
1692016
BIRD: Engineering an Efficient CNF-XOR SAT Solver and its Applications to Approximate Model Counting
M Soos, KS Meel
Proc. of AAAI, 2019
1472019
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
1362015
A scalable and nearly uniform generator of SAT witnesses
S Chakraborty, KS Meel, MY Vardi
International Conference on Computer Aided Verification, 608-623, 2013
1312013
Embedding symbolic knowledge into deep networks
Y Xie, Z Xu, MS Kankanhalli, KS Meel, H Soh
Advances in neural information processing systems 32, 2019
1292019
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
1222019
GANAK: A Scalable Probabilistic Exact Model Counter
S Sharma, S Roy, M Soos, KS Meel
IJCAI 19, 1169-1176, 2019
1122019
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
982020
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
942014
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
872016
Counting-Based Reliability Estimation for Power-Transmission Grids
L Duenas-Osorio, KS Meel, R Paredes, MY Vardi
Proc. of AAAI, 2017
812017
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
762019
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
762016
From Weighted to Unweighted Model Counting
S Chakraborty, D Fried, KS Meel, MY Vardi
IJCAI, 689-695, 2015
762015
Approximate Probabilistic Inference via Word-Level Counting
S Chakraborty, KS Meel, R Mistry, MY Vardi
Proc. of AAAI, 2016
742016
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
612021
Knowledge Compilation meets Uniform Sampling
S Sharma, R Gupta, S Roy, KS Meel
Proc. of LPAR, 2018
602018
MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules
D Malioutov, KS Meel
International Conference on Principles and Practice of Constraint …, 2018
542018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20