A Scalable and Nearly Uniform Generator of SAT Witnesses. - Supratik Chakraborty; Kuldeep S. Meel; Moshe Y. Vardi (CAV, 2013)

A Scalable Approximate Model Counter. - Supratik Chakraborty; Kuldeep S. Meel; Moshe Y. Vardi (CP, 2013)

ADHA: automatic data layout framework for heterogeneous architectures. - Deepak Majeti; Kuldeep S. Meel; Rajkishore Barik; Vivek Sarkar (PACT, 2014)

Distribution-Aware Sampling and Weighted Model Counting for SAT. - Supratik Chakraborty; Daniel J. Fremont; Kuldeep S. Meel; Sanjit A. Seshia; Moshe Y. Vardi (AAAI, 2014)

Balancing Scalability and Uniformity in SAT Witness Generator. - Supratik Chakraborty; Kuldeep S. Meel; Moshe Y. Vardi (DAC, 2014)

Sampling Techniques for Boolean Satisfiability. - Kuldeep S. Meel (CoRR, 2014)

From Weighted to Unweighted Model Counting. - Supratik Chakraborty; Dror Fried; Kuldeep S. Meel; Moshe Y. Vardi (IJCAI, 2015)

On Parallel Scalable Uniform SAT Witness Generation. - Supratik Chakraborty; Daniel J. Fremont; Kuldeep S. Meel; Sanjit A. Seshia; Moshe Y. Vardi (TACAS, 2015)

Distributed Phasers. - Sri Raj Paul; Karthik Murthy; Kuldeep S. Meel; John M. Mellor-Crummey (CoRR, 2015)

Approximate Probabilistic Inference via Word-Level Counting. - Supratik Chakraborty; Kuldeep S. Meel; Rakesh Mistry; Moshe Y. Vardi (AAAI, 2016)

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 (AAAI Workshop: Beyond NP, 2016)

Automatic data layout generation and kernel mapping for CPU+GPU architectures. - Deepak Majeti; Kuldeep S. Meel; Rajkishore Barik; Vivek Sarkar (CC, 2016)

Design and Verification of Distributed Phasers. - Karthik Murthy; Sri Raj Paul; Kuldeep S. Meel; Tiago Cogumbreiro; John M. Mellor-Crummey (Euro-Par, 2016)

Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. - Supratik Chakraborty; Kuldeep S. Meel; Moshe Y. Vardi (IJCAI, 2016)

Combining the k-CNF and XOR Phase-Transitions. - Jeffrey M. Dudek; Kuldeep S. Meel; Moshe Y. Vardi (IJCAI, 2016)

On computing minimal independent support and its applications to sampling and counting. - Alexander Ivrii; Sharad Malik; Kuldeep S. Meel; Moshe Y. Vardi (Constraints An Int. J., 2016)

Counting-Based Reliability Estimation for Power-Transmission Grids. - Leonardo Dueñas-Osorio; Kuldeep S. Meel; Roger Paredes; Moshe Y. Vardi (AAAI, 2017)

On Hashing-Based Approaches to Approximate DNF-Counting. - Kuldeep S. Meel; Aditya A. Shrotri; Moshe Y. Vardi (FSTTCS, 2017)

The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas. - Jeffrey M. Dudek; Kuldeep S. Meel; Moshe Y. Vardi (IJCAI, 2017)

MLIC: A MaxSAT-Based Framework for Learning Interpretable Classification Rules. - Dmitry Malioutov; Kuldeep S. Meel (CP, 2018)

Knowledge Compilation meets Uniform Sampling. - Shubham Sharma 003; Rahul Gupta; Subhajit Roy 001; Kuldeep S. Meel (LPAR, 2018)

Scalable Approximation of Quantitative Information Flow in Programs. - Fabrizio Biondi; Michael A. Enescu; Annelie Heuser; Axel Legay; Kuldeep S. Meel; Jean Quilbeuf (VMCAI, 2018)

Network Reliability Estimation in Theory and Practice. - Roger Paredes; Leonardo Dueñas-Osorio; Kuldeep S. Meel; Moshe Y. Vardi (CoRR, 2018)

Constrained Counting and Sampling: Bridging the Gap between Theory and Practice. - Kuldeep S. Meel (CoRR, 2018)

On Testing of Uniform Samplers. - Sourav Chakraborty 001; Kuldeep S. Meel (AAAI, 2019)

On the Hardness of Probabilistic Inference Relaxations. - Supratik Chakraborty; Kuldeep S. Meel; Moshe Y. Vardi (AAAI, 2019)

BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting. - Mate Soos; Kuldeep S. Meel (AAAI, 2019)

IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules. - Bishwamittra Ghosh; Kuldeep S. Meel (AIES, 2019)

Quantitative Verification of Neural Networks and Its Security Applications. - Teodora Baluta; Shiqi Shen; Shweta Shinde; Kuldeep S. Meel; Prateek Saxena (CCS, 2019)

Dual Hashing-Based Algorithms for Discrete Integration. - Alexis de Colnet; Kuldeep S. Meel (CP, 2019)

Bosphorus: Bridging ANF and CNF Solvers. - Davin Choo; Mate Soos; Kian Ming Adam Chai; Kuldeep S. Meel (DATE, 2019)

Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract). - Kuldeep S. Meel; Aditya A. Shrotri; Moshe Y. Vardi (IJCAI, 2019)

Phase Transition Behavior of Cardinality and XOR Constraints. - Yash Pote; Saurabh Joshi 001; Kuldeep S. Meel (IJCAI, 2019)

GANAK: A Scalable Probabilistic Exact Model Counter. - Shubham Sharma 003; Subhajit Roy 001; Mate Soos; Kuldeep S. Meel (IJCAI, 2019)

Embedding Symbolic Knowledge into Deep Networks. - Yaqi Xie 001; Ziwei Xu 001; Kuldeep S. Meel; Mohan S. Kankanhalli; Harold Soh (NeurIPS, 2019)

Assessing Heuristic Machine Learning Explanations with Model Counting. - Nina Narodytska; Aditya A. Shrotri; Kuldeep S. Meel; Alexey Ignatiev; João Marques-Silva 001 (SAT, 2019)

CrystalBall: Gazing in the Black Box of SAT Solving. - Mate Soos; Raghav Kulkarni; Kuldeep S. Meel (SAT, 2019)

WAPS: Weighted and Projected Sampling. - Rahul Gupta; Shubham Sharma 003; Subhajit Roy 001; Kuldeep S. Meel (TACAS (1), 2019)

Not all FPRASs are equal: demystifying FPRASs for DNF-counting. - Kuldeep S. Meel; Aditya A. Shrotri; Moshe Y. Vardi (Constraints An Int. J., 2019)

Semantically-Regularized Logic Graph Embeddings. - Yaqi Xie 001; Ziwei Xu 001; Kuldeep S. Meel; Mohan S. Kankanhalli; Harold Soh (CoRR, 2019)

Principled network reliability approximation: A counting-based approach. - Roger Paredes; Leonardo Dueñas-Osorio; Kuldeep S. Meel; Moshe Y. Vardi (Reliab. Eng. Syst. Saf., 2019)

A MaxSAT-Based Framework for Group Testing. - Lorenzo Ciampiconi; Bishwamittra Ghosh; Jonathan Scarlett; Kuldeep S. Meel (AAAI, 2020)

Approximate Counting of Minimal Unsatisfiable Subsets. - Jaroslav Bendík; Kuldeep S. Meel (CAV (1), 2020)

Manthan: A Data-Driven Approach for Boolean Function Synthesis. - Priyanka Golia; Subhajit Roy 001; Kuldeep S. Meel (CAV (2), 2020)

Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling. - Mate Soos; Stephan Gocht; Kuldeep S. Meel (CAV (1), 2020)

Phase Transition Behavior in Knowledge Compilation. - Rahul Gupta; Subhajit Roy 001; Kuldeep S. Meel (CP, 2020)

Classification Rules in Relaxed Logical Form. - Bishwamittra Ghosh; Dmitry Malioutov; Kuldeep S. Meel (ECAI, 2020)

Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice. - Kuldeep S. Meel; S. Akshay 001 (LICS, 2020)

Induction Models on N. - A. Dileep; Kuldeep S. Meel; Ammar Fathin Sabili (LPAR, 2020)

Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning. - Arnab Bhattacharyya 001; Sutanu Gayen; Kuldeep S. Meel; N. V. Vinodchandran (NeurIPS, 2020)

Taming Discrete Integration via the Boon of Dimensionality. - Jeffrey M. Dudek; Dror Fried; Kuldeep S. Meel (NeurIPS, 2020)

On Testing of Samplers. - Kuldeep S. Meel; Yash Pote; Sourav Chakraborty 001 (NeurIPS, 2020)

On the Sparsity of XORs in Approximate Model Counting. - Durgesh Agrawal; Bhavishya; Kuldeep S. Meel (SAT, 2020)

Designing New Phase Selection Heuristics. - Arijit Shaw; Kuldeep S. Meel (SAT, 2020)

Baital: an adaptive weighted sampling approach for improved t-wise coverage. - Eduard Baranov; Axel Legay; Kuldeep S. Meel (ESEC/SIGSOFT FSE, 2020)

A Study of Symmetry Breaking Predicates and Model Counting. - Wenxi Wang; Muhammad Usman 024; Alyas Almaawi; Kaiyuan Wang; Kuldeep S. Meel; Sarfraz Khurshid (TACAS (1), 2020)

Induction Models on mathbb{N}. - A. Dileep; Kuldeep S. Meel; Ammar Fathin Sabili (CoRR, 2020)

Dataset for Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice. - S. Akshay 001; Kuldeep S. Meel (Zenodo, 2020)

Counting Maximal Satisfiable Subsets. - Jaroslav Bendík; Kuldeep S. Meel (AAAI, 2021)

Symmetric Component Caching for Model Counting on Combinatorial Instances. - Timothy van Bremen; Vincent Derkinderen; Shubham Sharma 003; Subhajit Roy 001; Kuldeep S. Meel (AAAI, 2021)

Justicia: A Stochastic SAT Approach to Formally Verify Fairness. - Bishwamittra Ghosh; Debabrota Basu; Kuldeep S. Meel (AAAI, 2021)

The Power of Literal Equivalence in Model Counting. - Yong Lai 001; Kuldeep S. Meel; Roland H. C. Yap (AAAI, 2021)

Predicting Forest Fire Using Remote Sensing Data And Machine Learning. - Suwei Yang; Massimo Lupascu; Kuldeep S. Meel (AAAI, 2021)

Counting Minimal Unsatisfiable Subsets. - Jaroslav Bendík; Kuldeep S. Meel (CAV (2), 2021)

Engineering an Efficient PB-XOR Solver. - Jiong Yang 002; Kuldeep S. Meel (CP, 2021)

On the Usefulness of Linear Modular Arithmetic in Constraint Programming. - Gilles Pesant; Kuldeep S. Meel; Mahshid Mohammadalitajrishi (CPAIOR, 2021)

Designing Samplers is Easy: The Boon of Testers. - Priyanka Golia; Mate Soos; Sourav Chakraborty 001; Kuldeep S. Meel (FMCAD, 2021)

Engineering an Efficient Boolean Functional Synthesis Engine. - Priyanka Golia; Friedrich Slivovsky; Subhajit Roy 001; Kuldeep S. Meel (ICCAD, 2021)

Scalable Quantitative Verification For Deep Neural Networks. - Teodora Baluta; Zheng Leong Chua; Kuldeep S. Meel; Prateek Saxena (ICSE, 2021)

Partition Function Estimation: A Quantitative Study. - Durgesh Agrawal; Yash Pote; Kuldeep S. Meel (IJCAI, 2021)

Program Synthesis as Dependency Quantified Formula Modulo Theory. - Priyanka Golia; Subhajit Roy 001; Kuldeep S. Meel (IJCAI, 2021)

Gaussian Elimination Meets Maximum Satisfiability. - Mate Soos; Kuldeep S. Meel (KR, 2021)

Testing Probabilistic Circuits. - Yash Pote; Kuldeep S. Meel (NeurIPS, 2021)

Estimating the Size of Union of Sets in Streaming Models. - Kuldeep S. Meel; N. V. Vinodchandran; Sourav Chakraborty 001 (PODS, 2021)

Model Counting meets F0 Estimation. - Aduri Pavan; N. V. Vinodchandran; Arnab Bhattacharyya 001; Kuldeep S. Meel (PODS, 2021)

Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving. - Nicolas Prevot; Mate Soos; Kuldeep S. Meel (SAT, 2021)

Model Counting meets F0 Estimation. - Aduri Pavan; N. V. Vinodchandran; Arnab Bhattacharyya 001; Kuldeep S. Meel (CoRR, 2021)

Approximate Model Counting. - Supratik Chakraborty; Kuldeep S. Meel; Moshe Y. Vardi (Handbook of Satisfiability, 2021)

Algorithmic Fairness Verification with Graphical Models. - Bishwamittra Ghosh; Debabrota Basu; Kuldeep S. Meel (AAAI, 2022)

ApproxASP - a Scalable Approximate Answer Set Counter. - Mohimenul Kabir; Flavio O. Everardo; Ankit K. Shukla; Markus Hecher; Johannes Klaus Fichte; Kuldeep S. Meel (AAAI, 2022)

Constraint-Driven Explanations for Black-Box ML Models. - Aditya A. Shrotri; Nina Narodytska; Alexey Ignatiev; Kuldeep S. Meel; João Marques-Silva 001; Moshe Y. Vardi (AAAI, 2022)

Projected Model Counting: Beyond Independent Support. - Jiong Yang 002; Supratik Chakraborty; Kuldeep S. Meel (ATVA, 2022)

A Scalable Shannon Entropy Estimator. - Priyanka Golia; Brendan Juba; Kuldeep S. Meel (CAV (1), 2022)

On Quantitative Testing of Samplers. - Mate Soos; Priyanka Golia; Sourav Chakraborty 001; Kuldeep S. Meel (CP, 2022)

Distinct Elements in Streams: An Algorithm for the (Text) Book. - Sourav Chakraborty 001; N. V. Vinodchandran; Kuldeep S. Meel (ESA, 2022)

INC: A Scalable Incremental Weighted Sampler. - Suwei Yang; Victor C. Liang; Kuldeep S. Meel (FMCAD, 2022)

Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling. - Mate Soos; Kuldeep S. Meel (ICCAD, 2022)

A Scalable t-wise Coverage Estimator. - Eduard Baranov; Sourav Chakraborty 001; Axel Legay; Kuldeep S. Meel; N. Variyam Vinodchandran (ICSE, 2022)

Counting, Sampling, and Synthesis: The Quest for Scalability. - Kuldeep S. Meel (IJCAI, 2022)

On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing. - Remi Delannoy; Kuldeep S. Meel (LICS, 2022)

On Scalable Testing of Samplers. - Yash Pote; Kuldeep S. Meel (NeurIPS, 2022)

Estimation of the Size of Union of Delphic Sets: Achieving Independence from Stream Size. - Kuldeep S. Meel; Sourav Chakraborty 001; N. V. Vinodchandran (PODS, 2022)

CCDD: A Tractable Representation for Model Counting and Uniform Sampling. - Yong Lai 001; Kuldeep S. Meel; Roland H. C. Yap (CoRR, 2022)

How Biased is Your Feature?: Computing Fairness Influence Functions with Global Sensitivity Analysis. - Bishwamittra Ghosh; Debabrota Basu; Kuldeep S. Meel (CoRR, 2022)

Efficient Learning of Interpretable Classification Rules. - Bishwamittra Ghosh; Dmitry Malioutov; Kuldeep S. Meel (J. Artif. Intell. Res., 2022)

Model Counting Meets Distinct Elements in a Data Stream. - Aduri Pavan; N. V. Vinodchandran; Arnab Bhattacharyya 001; Kuldeep S. Meel (SIGMOD Rec., 2022)

Fast Converging Anytime Model Counting. - Yong Lai 001; Kuldeep S. Meel; Roland H. C. Yap (AAAI, 2023)

Constraint Optimization over Semirings. - Aduri Pavan; Kuldeep S. Meel; N. V. Vinodchandran; Arnab Bhattacharyya 001 (AAAI, 2023)

Testing of Horn Samplers. - Ansuman Banerjee; Shayak Chakraborty; Sourav Chakraborty 001; Kuldeep S. Meel; Uddalok Sarkar; Sayantan Sen (AISTATS, 2023)

Rounding Meets Approximate Model Counting. - Jiong Yang 002; Kuldeep S. Meel (CAV (2), 2023)

Synthesis with Explicit Dependencies. - Priyanka Golia; Subhajit Roy 001; Kuldeep S. Meel (DATE, 2023)

"How Biased are Your Features?": Computing Fairness Influence Functions with Global Sensitivity Analysis. - Bishwamittra Ghosh; Debabrota Basu; Kuldeep S. Meel (FAccT, 2023)

Distribution Testing: The New Frontier for Formal Methods. - Kuldeep S. Meel (FMCAD, 2023)

Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle? - Diptarka Chakraborty; Sourav Chakraborty 001; Gunjan Kumar; Kuldeep S. Meel (ICALP, 2023)

On Approximating Total Variation Distance. - Arnab Bhattacharyya 001; Sutanu Gayen; Kuldeep S. Meel; Dimitrios Myrisiotis; A. Pavan 001; N. V. Vinodchandran (IJCAI, 2023)

Solving the Identifying Code Set Problem with Grouped Independent Support. - Anna L. D. Latour; Arunabha Sen; Kuldeep S. Meel (IJCAI, 2023)

Engineering an Efficient Approximate DNF-Counter. - Mate Soos; Divesh Aggarwal; Sourav Chakraborty 001; Kuldeep S. Meel; Maciej Obremski (IJCAI, 2023)

Scalable Probabilistic Routes. - Suwei Yang; Victor C. Liang; Kuldeep S. Meel (ENIGMA@KR, 2023)

A Fast and Accurate ASP Counting Based Network Reliability Estimator. - Mohimenul Kabir; Kuldeep S. Meel (LPAR, 2023)

Support Size Estimation: The Power of Conditioning. - Diptarka Chakraborty; Gunjan Kumar; Kuldeep S. Meel (MFCS, 2023)

Probabilistic Query Evaluation: The Combined FPRAS Landscape. - Timothy van Bremen; Kuldeep S. Meel (PODS, 2023)

Explaining SAT Solving Using Causal Reasoning. - Jiong Yang 002; Arijit Shaw; Teodora Baluta; Mate Soos; Kuldeep S. Meel (SAT, 2023)

Tolerant Testing of High-Dimensional Samplers with Subcube Conditioning. - Gunjan Kumar; Kuldeep S. Meel; Yash Pote (CoRR, 2023)

Total Variation Distance Estimation Is as Easy as Probabilistic Inference. - Arnab Bhattacharyya 001; Sutanu Gayen; Kuldeep S. Meel; Dimitrios Myrisiotis; A. Pavan 001; N. V. Vinodchandran (Electron. Colloquium Comput. Complex., 2023)

Model Counting Meets Distinct Elements. - A. Pavan 001; N. V. Vinodchandran; Arnab Bhattacharyya 001; Kuldeep S. Meel (Commun. ACM, 2023)

Model Counting Meets F0 Estimation. - A. Pavan 001; N. Variyam Vinodchandran; Arnab Bhattacharyya 001; Kuldeep S. Meel (ACM Trans. Database Syst., 2023)

Data for An Approximate Skolem Funcion Counter (AAAI-24 paper). - Arijit Shaw; Kuldeep S. Meel (Zenodo, 2023)

Exact ASP Counting with Compact Encodings. - Mohimenul Kabir; Supratik Chakraborty; Kuldeep S. Meel (AAAI, 2024)

Auditable Algorithms for Approximate Model Counting. - Kuldeep S. Meel; Supratik Chakraborty; S. Akshay 001 (AAAI, 2024)

An Approximate Skolem Function Counter. - Arijit Shaw; Brendan Juba; Kuldeep S. Meel (AAAI, 2024)

Engineering an Exact Pseudo-Boolean Model Counter. - Suwei Yang; Kuldeep S. Meel (AAAI, 2024)

Equivalence Testing: The Power of Bounded Adaptivity. - Diptarka Chakraborty; Sourav Chakraborty 001; Gunjan Kumar; Kuldeep S. Meel (AISTATS, 2024)

Improved Streaming Algorithm for the Klee's Measure Problem and Generalizations. - Mridul Nandi; N. V. Vinodchandran; Arijit Ghosh; Kuldeep S. Meel; Soumit Pal; Sourav Chakraborty 001 (APPROX/RANDOM, 2024)

Formally Certified Approximate Model Counting. - Yong Kiam Tan; Jiong Yang 002; Mate Soos; Magnus O. Myreen; Kuldeep S. Meel (CAV (1), 2024)

Engineering an Efficient Preprocessor for Model Counting. - Mate Soos; Kuldeep S. Meel (DAC, 2024)

Locally-Minimal Probabilistic Explanations. - Yacine Izza; Kuldeep S. Meel; João Marques-Silva 001 (ECAI, 2024)

Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability. - Antoine Amarilli; Timothy van Bremen; Kuldeep S. Meel (ICDT, 2024)

Total Variation Distance Meets Probabilistic Inference. - Arnab Bhattacharyya 001; Sutanu Gayen; Kuldeep S. Meel; Dimitrios Myrisiotis; A. Pavan 001; N. V. Vinodchandran (ICML, 2024)

Model Counting in the Wild. - Arijit Shaw; Kuldeep S. Meel (KR, 2024)

Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing. - Mate Soos; Sourav Chakraborty 001; Kuldeep S. Meel (SETSS, 2024)

CSB: A Counting and Sampling Tool for Bit-vectors. - Arijit Shaw; Kuldeep S. Meel (SMT@CAV, 2024)

An FPRAS for #nFBDD. - Kuldeep S. Meel; Alexis de Colnet (CoRR, 2024)

#CFG and #DNNF admit FPRAS. - Kuldeep S. Meel; Alexis de Colnet (CoRR, 2024)

The Cardinality of Identifying Code Sets for Soccer Ball Graph with Application to Remote Sensing. - Anna L. D. Latour; Arunabha Sen; Kaustav Basu; Chenyang Zhou 001; Kuldeep S. Meel (CoRR, 2024)

Engineering an Efficient Approximate DNF-Counter. - Mate Soos; Uddalok Sarkar; Divesh Aggarwal; Sourav Chakraborty 001; Kuldeep S. Meel; Maciej Obremski (CoRR, 2024)

Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171). - S. Akshay 001; Bernd Finkbeiner; Kuldeep S. Meel; Ruzica Piskac; Arijit Shaw (Dagstuhl Reports, 2024)

A faster FPRAS for #NFA. - Kuldeep S. Meel; Sourav Chakraborty 001; Umang Mathur 001 (Proc. ACM Manag. Data, 2024)

On the Feasibility of Forgetting in Data Streams. - Aduri Pavan; Sourav Chakraborty 001; N. V. Vinodchandran; Kuldeep S. Meel (Proc. ACM Manag. Data, 2024)

On Lower Bounding Minimal Model Count. - Mohimenul Kabir; Kuldeep S. Meel (Theory Pract. Log. Program., 2024)

Data for An Approximate Skolem Funcion Counter (AAAI-24 paper). - Arijit Shaw; Kuldeep S. Meel; Brendan Juba (Zenodo, 2024)

Data for Model Counting in the Wild (KR-24 paper). - Arijit Shaw; Kuldeep S. Meel (Zenodo, 2024)

A Scalable $t$t-Wise Coverage Estimator: Algorithms and Applications. - Eduard Baranov; Sourav Chakraborty 001; Axel Legay; Kuldeep S. Meel; N. Variyam Vinodchandran (IEEE Trans. Software Eng., 2024)

Hashing-based approximate counting of minimal unsatisfiable subsets. - Jaroslav Bendík; Kuldeep S. Meel (Formal Methods Syst. Des., 2024)

synthetic pseudo-boolean counting instances. - Suwei Yang; Kuldeep S. Meel (Zenodo, 2024)

Synthetic pseudo-boolean counting benchmarks for projected and incremental counting. - Suwei Yang; Kuldeep S. Meel (Zenodo, 2024)

Towards Real-Time Approximate Counting. - Yash Pote; Kuldeep S. Meel; Jiong Yang 002 (AAAI, 2025)

Probabilistic Explanations for Linear Models. - Bernardo Subercaseaux; Marcelo Arenas; Kuldeep S. Meel (AAAI, 2025)

Towards Projected and Incremental Pseudo-Boolean Model Counting. - Suwei Yang; Kuldeep S. Meel (AAAI, 2025)

Distance Estimation for High-Dimensional Discrete Distributions. - Kuldeep S. Meel; Gunjan Kumar; Yash Pote (AISTATS, 2025)

Panini: An Efficient and Flexible Knowledge Compiler. - Yong Lai 001; Kuldeep S. Meel; Roland H. C. Yap (CAV (3), 2025)

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework. - Uddalok Sarkar; Sourav Chakraborty 001; Kuldeep S. Meel (CAV (2), 2025)

Engineering an Efficient Probabilistic Exact Model Counter. - Mate Soos; Kuldeep S. Meel (CAV (3), 2025)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks. - Mohimenul Kabir; Van-Giang Trinh; Samuel Pastva; Kuldeep S. Meel (CP, 2025)

An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs. - Kuldeep S. Meel; Alexis de Colnet (ICDT, 2025)

Computational Explorations of Total Variation Distance. - Arnab Bhattacharyya 001; Sutanu Gayen; Kuldeep S. Meel; Dimitrios Myrisiotis; Aduri Pavan; N. V. Vinodchandran (ICLR, 2025)

Efficient Certified Reasoning for Binarized Neural Networks. - Jiong Yang 002; Yong Kiam Tan; Mate Soos; Magnus O. Myreen; Kuldeep S. Meel (SAT, 2025)

CNFs and DNFs with Exactly k Solutions. - L. Sunil Chandran; Rishikesh Gajjala; Kuldeep S. Meel (SAT, 2025)

Towards Practical First-Order Model Counting. - Ananth K. Kidambi; Guramrit Singh; Paulius Dilkas; Kuldeep S. Meel (SAT, 2025)

On Top-Down Pseudo-Boolean Model Counting. - Suwei Yang; Yong Lai 001; Kuldeep S. Meel (SAT, 2025)

Verification of the CVM algorithm with a New Recursive Analysis Technique. - Emin Karayel; Derek Khu; Kuldeep S. Meel; Yong Kiam Tan; Seng Joe Watt (Arch. Formal Proofs, 2025)

Total variation distance for product distributions is #P-complete. - Arnab Bhattacharyya 001; Sutanu Gayen; Kuldeep S. Meel; Dimitrios Myrisiotis; A. Pavan 001; N. V. Vinodchandran (Inf. Process. Lett., 2025)

Enumerate-Conjecture-Prove: Formally Solving Answer-Construction Problems in Math Competitions. - Jialiang Sun; Yuzhi Tang; Ao Li; Chris J. Maddison; Kuldeep S. Meel (CoRR, 2025)

Towards Practical FPRAS for #NFA: Exploiting the Power of Dependence. - Kuldeep S. Meel; Alexis de Colnet (Proc. ACM Manag. Data, 2025)

CNFs and DNFs with Exactly k Solutions. - L. Sunil Chandran; Rishikesh Gajjala; Kuldeep S. Meel (CoRR, 2025)

An ASP-Based Framework for MUSes. - Mohimenul Kabir; Kuldeep S. Meel (CoRR, 2025)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets. - Mohimenul Kabir; Kuldeep S. Meel (CoRR, 2025)

Counting Answer Sets of Disjunctive Answer Set Programs. - Mohimenul Kabir; Supratik Chakraborty; Kuldeep S. Meel (CoRR, 2025)

Approximate SMT Counting Beyond Discrete Domains. - Arijit Shaw; Kuldeep S. Meel (CoRR, 2025)

Efficient Volume Computation for SMT Formulas. - Arijit Shaw; Uddalok Sarkar; Kuldeep S. Meel (CoRR, 2025)

A scalable entropy estimator. - Priyanka Golia; Brendan Juba; Kuldeep S. Meel (Formal Methods Syst. Des., 2025)