| A scalable approximate model counter S Chakraborty, KS Meel, MY Vardi International Conference on Principles and Practice of Constraint …, 2013 | 231 | 2013 |
| Distribution-aware sampling and weighted model counting for SAT S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi Proc. of AAAI, 2014 | 209 | 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 | 194 | 2016 |
| BIRD: Engineering an Efficient CNF-XOR SAT Solver and its Applications to Approximate Model Counting M Soos, KS Meel Proc. of AAAI, 2019 | 173 | 2019 |
| GANAK: A Scalable Probabilistic Exact Model Counter S Sharma, S Roy, M Soos, KS Meel IJCAI 19, 1169-1176, 2019 | 161 | 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 | 156 | 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 | 154 | 2019 |
| 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 | 151 | 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 | 142 | 2013 |
| 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 | 125 | 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 | 102 | 2014 |
| Counting-Based Reliability Estimation for Power-Transmission Grids L Duenas-Osorio, KS Meel, R Paredes, MY Vardi Proc. of AAAI, 2017 | 100 | 2017 |
| 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 | 94 | 2019 |
| 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 | 94 | 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 | 88 | 2021 |
| From Weighted to Unweighted Model Counting S Chakraborty, D Fried, KS Meel, MY Vardi IJCAI, 689-695, 2015 | 85 | 2015 |
| 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 | 84 | 2016 |
| Approximate Probabilistic Inference via Word-Level Counting S Chakraborty, KS Meel, R Mistry, MY Vardi Proc. of AAAI, 2016 | 81 | 2016 |
| Knowledge Compilation meets Uniform Sampling S Sharma, R Gupta, S Roy, KS Meel Proc. of LPAR, 2018 | 73 | 2018 |
| Predicting forest fire using remote sensing data and machine learning S Yang, M Lupascu, KS Meel Proceedings of the AAAI conference on artificial intelligence 35 (17), 14983 …, 2021 | 65 | 2021 |
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
