| 2026 | AAAI | The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques. | Brendan Juba, Kuldeep S. Meel |
| 2026 | CAV | Quantifying Sensitivity for Tree Ensembles: A Symbolic and Compositional Approach. | Ajinkya Naik, Chaitanya Garg, S. Akshay, Ashutosh Gupta, Kuldeep S. Meel |
| 2026 | DATE | Provable Guarantees in Approximate Synthesis. | Kushagra Gupta, Priyanka Golia, Subhajit Roy, Kuldeep S. Meel |
| 2026 | SODA | #CFG and #DNNF admit FPRAS. | Kuldeep S. Meel, Alexis de Colnet |
| 2026 | SP | Towards Practical Zero-Knowledge Proof for PSPACE. | Ashwin Karthikeyan, Hengyu Liu, Kuldeep S. Meel, Ning Luo |
| 2025 | AAAI | Towards Real-Time Approximate Counting. | Yash Pote, Kuldeep S. Meel, Jiong Yang |
| 2025 | AAAI | Probabilistic Explanations for Linear Models. | Bernardo Subercaseaux, Marcelo Arenas, Kuldeep S. Meel |
| 2025 | AAAI | Towards Projected and Incremental Pseudo-Boolean Model Counting. | Suwei Yang, Kuldeep S. Meel |
| 2025 | AISTATS | Distance Estimation for High-Dimensional Discrete Distributions. | Kuldeep S. Meel, Gunjan Kumar, Yash Pote |
| 2025 | ATVA | Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification. | Yuke Liao, Blaise Genest, Kuldeep S. Meel, Shaan Aryaman |
| 2025 | CAV | Panini: An Efficient and Flexible Knowledge Compiler. | Yong Lai, Kuldeep S. Meel, Roland H. C. Yap |
| 2025 | CAV | Assessing the Quality of Binomial Samplers: A Statistical Distance Framework. | Uddalok Sarkar, Sourav Chakraborty, Kuldeep S. Meel |
| 2025 | CAV | Engineering an Efficient Probabilistic Exact Model Counter. | Mate Soos, Kuldeep S. Meel |
| 2025 | CP | Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks. | Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva, Kuldeep S. Meel |
| 2025 | DAC | Approximate SMT Counting Beyond Discrete Domains. | Arijit Shaw, Kuldeep S. Meel |
| 2025 | ICDT | An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs. | Kuldeep S. Meel, Alexis de Colnet |
| 2025 | ICLR | Computational Explorations of Total Variation Distance. | Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, Aduri Pavan, N. V. Vinodchandran |
| 2025 | ITP | Verification of the CVM Algorithm with a Functional Probabilistic Invariant. | Emin Karayel, Seng Joe Watt, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan |
| 2025 | KR | Efficient Volume Computation for SMT Formulas. | Arijit Shaw, Uddalok Sarkar, Kuldeep S. Meel |
| 2025 | SAT | Efficient Certified Reasoning for Binarized Neural Networks. | Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel |
| 2025 | SAT | CNFs and DNFs with Exactly k Solutions. | L. Sunil Chandran, Rishikesh Gajjala, Kuldeep S. Meel |
| 2025 | SAT | Towards Practical First-Order Model Counting. | Ananth K. Kidambi, Guramrit Singh, Paulius Dilkas, Kuldeep S. Meel |
| 2025 | SAT | On Top-Down Pseudo-Boolean Model Counting. | Suwei Yang, Yong Lai, Kuldeep S. Meel |
| 2024 | AAAI | Exact ASP Counting with Compact Encodings. | Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel |
| 2024 | AAAI | Auditable Algorithms for Approximate Model Counting. | Kuldeep S. Meel, Supratik Chakraborty, S. Akshay |
| 2024 | AAAI | An Approximate Skolem Function Counter. | Arijit Shaw, Brendan Juba, Kuldeep S. Meel |
| 2024 | AAAI | Engineering an Exact Pseudo-Boolean Model Counter. | Suwei Yang, Kuldeep S. Meel |
| 2024 | AISTATS | Equivalence Testing: The Power of Bounded Adaptivity. | Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar, Kuldeep S. Meel |
| 2024 | CAV | Formally Certified Approximate Model Counting. | Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel |
| 2024 | DAC | Engineering an Efficient Preprocessor for Model Counting. | Mate Soos, Kuldeep S. Meel |
| 2024 | ECAI | Locally-Minimal Probabilistic Explanations. | Yacine Izza, Kuldeep S. Meel, Joo Marques-Silva |
| 2024 | ICDT | Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability. | Antoine Amarilli, Timothy van Bremen, Kuldeep S. Meel |
| 2024 | ICML | Total Variation Distance Meets Probabilistic Inference. | Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran |
| 2024 | KR | Model Counting in the Wild. | Arijit Shaw, Kuldeep S. Meel |
| 2023 | AAAI | Fast Converging Anytime Model Counting. | Yong Lai, Kuldeep S. Meel, Roland H. C. Yap |
| 2023 | AAAI | Constraint Optimization over Semirings. | Aduri Pavan, Kuldeep S. Meel, N. V. Vinodchandran, Arnab Bhattacharyya |
| 2023 | AISTATS | Testing of Horn Samplers. | Ansuman Banerjee, Shayak Chakraborty, Sourav Chakraborty, Kuldeep S. Meel, Uddalok Sarkar, Sayantan Sen |
| 2023 | CAV | Rounding Meets Approximate Model Counting. | Jiong Yang, Kuldeep S. Meel |
| 2023 | DATE | Synthesis with Explicit Dependencies. | Priyanka Golia, Subhajit Roy, Kuldeep S. Meel |
| 2023 | FMCAD | Distribution Testing: The New Frontier for Formal Methods. | Kuldeep S. Meel |
| 2023 | ICALP | Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle? | Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar, Kuldeep S. Meel |
| 2023 | IJCAI | On Approximating Total Variation Distance. | Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran |
| 2023 | IJCAI | Solving the Identifying Code Set Problem with Grouped Independent Support. | Anna L. D. Latour, Arunabha Sen, Kuldeep S. Meel |
| 2023 | IJCAI | Engineering an Efficient Approximate DNF-Counter. | Mate Soos, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski |
| 2023 | KR | Scalable Probabilistic Routes. | Suwei Yang, Victor C. Liang, Kuldeep S. Meel |
| 2023 | LPAR | A Fast and Accurate ASP Counting Based Network Reliability Estimator. | Mohimenul Kabir, Kuldeep S. Meel |
| 2023 | LPAR | Scalable Probabilistic Routes. | Suwei Yang, Victor C. Liang, Kuldeep S. Meel |
| 2023 | MFCS | Support Size Estimation: The Power of Conditioning. | Diptarka Chakraborty, Gunjan Kumar, Kuldeep S. Meel |
| 2023 | PODS | Probabilistic Query Evaluation: The Combined FPRAS Landscape. | Timothy van Bremen, Kuldeep S. Meel |
| 2023 | SAT | Explaining SAT Solving Using Causal Reasoning. | Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel |
| 2022 | AAAI | Algorithmic Fairness Verification with Graphical Models. | Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel |
| 2022 | AAAI | ApproxASP - a Scalable Approximate Answer Set Counter. | Mohimenul Kabir, Flavio O. Everardo, Ankit K. Shukla, Markus Hecher, Johannes Klaus Fichte, Kuldeep S. Meel |
| 2022 | AAAI | Constraint-Driven Explanations for Black-Box ML Models. | Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, Joo Marques-Silva, Moshe Y. Vardi |
| 2022 | ATVA | Projected Model Counting: Beyond Independent Support. | Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel |
| 2022 | CAV | A Scalable Shannon Entropy Estimator. | Priyanka Golia, Brendan Juba, Kuldeep S. Meel |
| 2022 | CP | On Quantitative Testing of Samplers. | Mate Soos, Priyanka Golia, Sourav Chakraborty, Kuldeep S. Meel |
| 2022 | ESA | Distinct Elements in Streams: An Algorithm for the (Text) Book. | Sourav Chakraborty, N. V. Vinodchandran, Kuldeep S. Meel |
| 2022 | FMCAD | INC: A Scalable Incremental Weighted Sampler. | Suwei Yang, Victor C. Liang, Kuldeep S. Meel |
| 2022 | ICCAD | Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling. | Mate Soos, Kuldeep S. Meel |
| 2022 | IJCAI | Counting, Sampling, and Synthesis: The Quest for Scalability. | Kuldeep S. Meel |
| 2022 | ICSE | A Scalable t-wise Coverage Estimator. | Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran |
| 2022 | LICS | On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing. | Remi Delannoy, Kuldeep S. Meel |
| 2022 | PODS | Estimation of the Size of Union of Delphic Sets: Achieving Independence from Stream Size. | Kuldeep S. Meel, Sourav Chakraborty, N. V. Vinodchandran |
| 2021 | AAAI | Counting Maximal Satisfiable Subsets. | Jaroslav Bendk, Kuldeep S. Meel |
| 2021 | AAAI | Symmetric Component Caching for Model Counting on Combinatorial Instances. | Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel |
| 2021 | AAAI | Justicia: A Stochastic SAT Approach to Formally Verify Fairness. | Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel |
| 2021 | AAAI | The Power of Literal Equivalence in Model Counting. | Yong Lai, Kuldeep S. Meel, Roland H. C. Yap |
| 2021 | AAAI | Predicting Forest Fire Using Remote Sensing Data And Machine Learning. | Suwei Yang, Massimo Lupascu, Kuldeep S. Meel |
| 2021 | CAV | Counting Minimal Unsatisfiable Subsets. | Jaroslav Bendk, Kuldeep S. Meel |
| 2021 | CP | Engineering an Efficient PB-XOR Solver. | Jiong Yang, Kuldeep S. Meel |
| 2021 | CPAIOR | On the Usefulness of Linear Modular Arithmetic in Constraint Programming. | Gilles Pesant, Kuldeep S. Meel, Mahshid Mohammadalitajrishi |
| 2021 | FMCAD | Designing Samplers is Easy: The Boon of Testers. | Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel |
| 2021 | ICCAD | Engineering an Efficient Boolean Functional Synthesis Engine. | Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel |
| 2021 | IJCAI | Partition Function Estimation: A Quantitative Study. | Durgesh Agrawal, Yash Pote, Kuldeep S. Meel |
| 2021 | IJCAI | Program Synthesis as Dependency Quantified Formula Modulo Theory. | Priyanka Golia, Subhajit Roy, Kuldeep S. Meel |
| 2021 | ICSE | Scalable Quantitative Verification For Deep Neural Networks. | Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena |
| 2021 | ICSE | Scalable Quantitative Verification for Deep Neural Networks. | Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena |
| 2021 | KR | Gaussian Elimination Meets Maximum Satisfiability. | Mate Soos, Kuldeep S. Meel |
| 2021 | PODS | Estimating the Size of Union of Sets in Streaming Models. | Kuldeep S. Meel, N. V. Vinodchandran, Sourav Chakraborty |
| 2021 | PODS | Model Counting meets F | Aduri Pavan, N. V. Vinodchandran, Arnab Bhattacharyya, Kuldeep S. Meel |
| 2021 | SAT | Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving. | Nicolas Prevot, Mate Soos, Kuldeep S. Meel |
| 2020 | AAAI | A MaxSAT-Based Framework for Group Testing. | Lorenzo Ciampiconi, Bishwamittra Ghosh, Jonathan Scarlett, Kuldeep S. Meel |
| 2020 | CAV | Approximate Counting of Minimal Unsatisfiable Subsets. | Jaroslav Bendk, Kuldeep S. Meel |
| 2020 | CAV | Manthan: A Data-Driven Approach for Boolean Function Synthesis. | Priyanka Golia, Subhajit Roy, Kuldeep S. Meel |
| 2020 | CAV | Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling. | Mate Soos, Stephan Gocht, Kuldeep S. Meel |
| 2020 | CP | Phase Transition Behavior in Knowledge Compilation. | Rahul Gupta, Subhajit Roy, Kuldeep S. Meel |
| 2020 | ECAI | Classification Rules in Relaxed Logical Form. | Bishwamittra Ghosh, Dmitry Malioutov, Kuldeep S. Meel |
| 2020 | LICS | Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice. | Kuldeep S. Meel, S. Akshay |
| 2020 | LPAR | Induction Models on N. | A. Dileep, Kuldeep S. Meel, Ammar Fathin Sabili |
| 2020 | SAT | On the Sparsity of XORs in Approximate Model Counting. | Durgesh Agrawal, Bhavishya, Kuldeep S. Meel |
| 2020 | SAT | Designing New Phase Selection Heuristics. | Arijit Shaw, Kuldeep S. Meel |
| 2020 | TACAS | A Study of Symmetry Breaking Predicates and Model Counting. | Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid |
| 2019 | AAAI | On Testing of Uniform Samplers. | Sourav Chakraborty, Kuldeep S. Meel |
| 2019 | AAAI | On the Hardness of Probabilistic Inference Relaxations. | Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi |
| 2019 | AAAI | BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting. | Mate Soos, Kuldeep S. Meel |
| 2019 | AIES | IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules. | Bishwamittra Ghosh, Kuldeep S. Meel |
| 2019 | CCS | Quantitative Verification of Neural Networks and Its Security Applications. | Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena |
| 2019 | CP | Dual Hashing-Based Algorithms for Discrete Integration. | Alexis de Colnet, Kuldeep S. Meel |
| 2019 | DATE | Bosphorus: Bridging ANF and CNF Solvers. | Davin Choo, Mate Soos, Kian Ming Adam Chai, Kuldeep S. Meel |
| 2019 | IJCAI | Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract). | Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi |
| 2019 | IJCAI | Phase Transition Behavior of Cardinality and XOR Constraints. | Yash Pote, Saurabh Joshi, Kuldeep S. Meel |
| 2019 | IJCAI | GANAK: A Scalable Probabilistic Exact Model Counter. | Shubham Sharma, Subhajit Roy, Mate Soos, Kuldeep S. Meel |
| 2019 | SAT | Assessing Heuristic Machine Learning Explanations with Model Counting. | Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, Joo Marques-Silva |
| 2019 | SAT | CrystalBall: Gazing in the Black Box of SAT Solving. | Mate Soos, Raghav Kulkarni, Kuldeep S. Meel |
| 2019 | TACAS | WAPS: Weighted and Projected Sampling. | Rahul Gupta, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel |
| 2018 | CP | MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules. | Dmitry Malioutov, Kuldeep S. Meel |
| 2018 | LPAR | Knowledge Compilation meets Uniform Sampling. | Shubham Sharma, Rahul Gupta, Subhajit Roy, Kuldeep S. Meel |
| 2018 | VMCAI | Scalable Approximation of Quantitative Information Flow in Programs. | Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf |
| 2017 | AAAI | Counting-Based Reliability Estimation for Power-Transmission Grids. | Leonardo Dueas-Osorio, Kuldeep S. Meel, Roger Paredes, Moshe Y. Vardi |
| 2017 | IJCAI | The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. | Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi |
| 2016 | AAAI | Approximate Probabilistic Inference via Word-Level Counting. | Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi |
| 2016 | AAAI | Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. | Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik |
| 2016 | CC | Automatic data layout generation and kernel mapping for CPU+GPU architectures. | Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar |
| 2016 | EuroPar | Design and Verification of Distributed Phasers. | Karthik Murthy, Sri Raj Paul, Kuldeep S. Meel, Tiago Cogumbreiro, John M. Mellor-Crummey |
| 2016 | IJCAI | Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. | Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi |
| 2016 | IJCAI | Combining the k-CNF and XOR Phase-Transitions. | Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi |
| 2015 | IJCAI | From Weighted to Unweighted Model Counting. | Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi |
| 2015 | TACAS | On Parallel Scalable Uniform SAT Witness Generation. | Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi |
| 2014 | AAAI | Distribution-Aware Sampling and Weighted Model Counting for SAT. | Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, Moshe Y. Vardi |
| 2014 | DAC | Balancing Scalability and Uniformity in SAT Witness Generator. | Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi |
| 2013 | CAV | A Scalable and Nearly Uniform Generator of SAT Witnesses. | Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi |
| 2013 | CP | A Scalable Approximate Model Counter. | Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi |