Publications

Paulius Dilkas (2023). Generating Random Instances of Weighted Model Counting: An Empirical Analysis with Varying Primal Treewidth. In Proceedings of Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR).

PDF Code

Priyanka Golia, Subhajit Roy, and Kuldeep S. Meel (2023). Synthesis with Explicit Dependencies. In Proceedings of Design, Automation and Test in Europe Conference (DATE).

PDF

Yash Pote, and Kuldeep S. Meel (2022). On Scalable Testing of Samplers. In Advances in Neural Information Processing Systems (NeurIPS).

Suwei Yang, Victor Liang, and Kuldeep S. Meel (2022). INC: A Scalable Incremental Weighted Sampler. In Proceedings of Formal Methods in Computer-Aided Design (FMCAD).

PDF Code

Jiong Yang, Supratik Chakraborty, and Kuldeep S. Meel (2022). Projected Model Counting: Beyond Independent Support. In International Symposium on Automated Technology for Verification and Analysis (ATVA).

PDF Code

Remi Delannoy and Kuldeep S. Meel (2022). On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing. In Proceedings of Logic in Computer science (LICS).

PDF

Kuldeep S. Meel, Sourav Chakraborty, and N.V. Vinodchandran (2022). Estimation of the Size of Union of Delphic Sets: Achieving Independence from Stream Size. In ACM Symposium on Principles of Database Systems (PODS).

PDF

Mohimenul Kabir, Flavio Everardo, Ankit Shukla, Johannes K. Fichte, Markus Hecher, and Kuldeep S. Meel (2022). ApproxASP – A Scalable Approximate Answer Set Counter. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF Code

Bishwamittra Ghosh, Debabrota Basu, and Kuldeep S. Meel (2022). Algorithmic Fairness Verification with Graphical Models. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF Code

Mate Soos, Priyanka Golia, Sourav Chakraborty, and Kuldeep S. Meel (2022). On Quantitative Testing of Samplers. In Proceedings of International Conference on Constraint Programming (CP).

PDF Code

Priyanka Golia, Brendan Juba, and Kuldeep S. Meel (2022). A Scalable Shannon Entropy Estimator. In Proceedings of 34nd International Conference on Computer-Aided Verification (CAV).

PDF Code

Mate Soos, and Kuldeep S. Meel (2021). Gaussian Elimination Meets Maximum Satisfiability. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR).

PDF Code Poster

Yash Pote, and Kuldeep S. Meel (2021). Testing Probabilistic Circuits. In Advances in Neural Information Processing Systems (NeurIPS).

PDF

Jiong Yang, and Kuldeep S. Meel (2021). Engineering an Efficient PB-XOR Solver. In Proceedings of International Conference on Constraint Programming (CP).

PDF Code Dataset

Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, and Kuldeep S. Meel (2021). Engineering an Efficient Boolean Functional Synthesis Engine. In Proceedings of International Conference On Computer Aided Design (ICCAD).

PDF Code Slides Video

Priyanka Golia, Mate Soos, Sourav Chakraborty, and Kuldeep S. Meel (2021). Designing Samplers is Easy: The Boon of Testers. In Proceedings of Formal Methods in Computer-Aided Design (FMCAD).

PDF Code Slides Video

Durgesh Agrawal, Yash Pote, and Kuldeep S. Meel (2021). Partition Function Estimation: A Quantitative Study. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI).

PDF

Gilles Pesant, Kuldeep S. Meel, and Mahshid Mohammadalitajrishi (2021). On the Usefulness of Linear Modular Arithmetic in Constraint Programming. In Proceedings of International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR).

PDF

Nicolas Prevot, Mate Soos, and Kuldeep S. Meel (2021). Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving. In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT), 2021..

PDF

Jaroslav Bendík, and Kuldeep S. Meel (2021). Counting Minimal Unsatisfiable Subsets. In Proceedings of International Conference on Computer-Aided Verification (CAV).

Priyanka Golia, Subhajit Roy, and Kuldeep S. Meel (2021). Program Synthesis as Dependency Quantified Formula Modulo Theory. In Proceedings International Joint Conference on Artificial Intelligence (IJCAI).

PDF Code Poster Video

Arnab Bhattacharyya, Kuldeep S. Meel, A. Pavan, and N.V. Vinodchandran (2021). Model Counting meets F0 Estimation. In ACM Symposium on Principles of Database Systems (PODS).

PDF

Kuldeep S. Meel, N.V. Vinodchandran, and Sourav Chakraborty (2021). Estimating the Size of Unions of Sets in Streaming Models. In ACM Symposium on Principles of Database Systems (PODS).

Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, and Prateek Saxena (2021). Scalable Quantitative Verification For Deep Neural Networks. In IEEE/ACM 43rd International Conference on Software Engineering (ICSE).

PDF Code Slides

Yong Lai, Kuldeep S. Meel, and Roland Yap (2021). The Power of Literal Equivalence in Model Counting. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF

Tim van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, and Kuldeep S. Meel (2021). Symmetric Component Caching for Model Counting on Structured Instances. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF

Suwei Yang, Massimo Lupascu, and Kuldeep S. Meel (2021). Predicting Forest Fire Using Remote Sensing Data And Machine Learning. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF

Bishwamittra Ghosh, Debabrota Basu, and Kuldeep S. Meel (2021). Justicia A Stochastic SAT Approach to Formally Verify Fairness. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF Code

Jaroslav Bendík, and Kuldeep S. Meel (2021). Counting Maximal Satisfiable Subsets. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF

Eduard Baranov, Axel Legay, and Kuldeep S. Meel (2020). Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage. In Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE).

PDF

Jeffrey M. Dudek, Dror Fried, and Kuldeep S. Meel (2020). Taming Discrete Integration via the Boon of Dimensionality. In Advances in Neural Information Processing Systems (NeurIPS).

PDF

Kuldeep S. Meel, Yash Pote, and Sourav Chakraborty (2020). On Testing of Samplers. In Advances in Neural Information Processing Systems (NeurIPS).

PDF Slides Video

Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, and N. V. Vinodchandran (2020). Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning. In Advances in Neural Information Processing Systems (NeurIPS).

PDF

Rahul Gupta, Subhajit Roy, and Kuldeep S. Meel (2020). Phase Transition Behaviour in Knowledge Compilation. In Proceedings of International Conference on Constraint Programming (CP).

PDF Video

Durgesh Agrawal, Bhavishya, and Kuldeep S. Meel (2020). On the Sparsity of XORs in Approximate Model Counting. In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT).

PDF Dataset Slides Video

Arijit Shaw, and Kuldeep S. Meel (2020). Designing New Phase Selection Heuristics. In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT).

Preprint PDF Code Dataset Slides Video

Kuldeep S. Meel ⓡ S. Akshay (2020). Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice. In Proceedings of Logic in Computer science (LICS).

PDF

Mate Soos, Stephan Gocht, and Kuldeep S. Meel (2020). Tinted, Detached, and Lazy CNF-XOR solving and its Applications to Counting and Sampling. In Proceedings of 32nd International Conference on Computer-Aided Verification (CAV).

PDF

Priyanka Golia, Subhajit Roy, and Kuldeep S. Meel (2020). Manthan: A Data-Driven Approach for Boolean Function Synthesis. In Proceedings of 32nd International Conference on Computer-Aided Verification (CAV).

PDF Code Slides Video

Jaroslav Bendík, and Kuldeep S. Meel (2020). Approximate Counting of Minimal Unsatisfiable Subsets. In Proceedings of 32nd International Conference on Computer-Aided Verification (CAV).

PDF

A. Dileep, Kuldeep S. Meel, and Ammar F. Sabili (2020). Induction Models on N. In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR).

PDF

Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, and Sarfraz Khurshid (2020). A Study of Symmetry Breaking Predicates and Model Counting. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS).

PDF

Bishwamittra Ghosh, Dmitry Malioutov, and Kuldeep S. Meel (2020). Classification Rules in Relaxed Logical Form. In Proceedings of ECAI.

PDF Code

Lorenzo Ciampiconi, Bishwamittra Ghosh, Jonathan Scarlett, and Kuldeep S. Meel (2020). A MaxSAT-based Framework for Group Testing. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF Code

Yaqi Xie, Ziwei Xu, Mohan S. Kankanhalli, Kuldeep S. Meel, and Harold Soh (2019). Embedding Symbolic Knowledge into Deep Networks . In Advances in Neural Information Processing Systems(NeurIPS).

PDF Code

Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, and Prateek Saxena (2019). Quantitative Verification of Neural Networks And Its Security Applications . In Proceedings of the 2019 ACM Conference on Computer and Communications Security (CCS).

PDF Code Slides

Alexis de Colnet, and Kuldeep S. Meel (2019). Dual Hashing-based Algorithms for Discrete Integration . In Proceedings of International Conference on Constraint Programming (CP).

PDF

Roger Paredes, Leonardo Duenas-Osorio, Kuldeep S. Meel, and Moshe Y. Vardi (2019). Network Reliability Estimation in Theory and Practice . Journal of Reliability Engineering and System Safety(RESS).

PDF

Shubham Sharma, Subhajit Roy, Mate Soos, and Kuldeep S. Meel (2019). GANAK: A Scalable Probabilistic Exact Model Counter. In Proceedings International Joint Conference on Artificial Intelligence (IJCAI).

PDF Code Slides

Yash Pote, Saurabh Joshi, and Kuldeep S. Meel (2019). Phase Transition Behavior of Cardinality and XOR Constraints . In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI).

PDF Slides

Kuldeep S. Meel, Aditya A. Shrotri, and Moshe Y. Vardi (2019). Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract) . In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI).

PDF

Mate Soos, Raghav Kulkarni, and Kuldeep S. Meel (2019). CrystalBall: Gazing in the Black Box of SAT Solving . In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT).

PDF Code Slides

Nina Narodytska, Aditya Shrotri, Kuldeep S. Meel, Alexey Ignatiev, and Joao Marques Silva (2019). Assessing Heuristic Machine Learning Explanations with Model Counting . In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT).

PDF

Rahul Gupta, Shubham Sharma, Subhajit Roy, and Kuldeep S. Meel (2019). WAPS: Weighted and Projected Sampling . In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS).

PDF Code Slides

Davin Choo,  Mate Soos, Kian Ming A. Chai, and Kuldeep S. Meel (2019). BOSPHORUS: Bridging ANF and CNF Solvers . In Proceedings of Design, Automation, and Test in Europe (DATE).

PDF Code

Supratik Chakraborty, Kuldeep S. Meel, and Moshe Y. Vardi (2019). On the Hardness of Probabilistic Inference Relaxations. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF Slides

Sourav Chakraborty, and Kuldeep S. Meel (2019). On testing of Uniform Samplers . In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF Code Slides

Mate Soos, and Kuldeep S. Meel (2019). BIRD: Engineering an Efficient CNF-XOR SAT Solver and its Applications to Approximate Model Counting. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF Code Slides

Bishwamittra Ghosh, and Kuldeep S. Meel (2019). IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules . In Proceedings of AAAI/ACM Conference on AI, Ethics, and Society (AIES).

PDF Code

Kuldeep S. Meel, Aditya A. Shrotri, and Moshe Y. Vardi (2018). Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting . In Proceedings of International Conference on Constraint Programming (CP).

PDF Slides

Shubham Sharma, Rahul Gupta, Subhajit Roy, and Kuldeep S. Meel (2018). Knowledge Compilation meets Uniform Sampling. In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR).

PDF Code

Dmitry Malioutov, and Kuldeep S. Meel (2018). MLIC: A MaxSAT-Based framework for learning interpretable classification rules. In Proceedings of International Conference on Constraint Programming (CP).

PDF Code Slides

Fabrizio Biondi, Michael Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, and Jean Quilbeuf (2018). Scalable Approximation of Quantitative Information Flow in Programs. In Proceedings of International Conference on Verification, Model Checking, and Abstract Interpretation.

PDF Slides

Kuldeep S. Meel, Aditya A. Shrotri, and Moshe Y. Vardi (2017). On Hashing-Based Approaches to Approximate DNF-Counting . In Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.

PDF Slides

Kuldeep S. Meel (2017). Constrained Counting and Sampling: Bridging the Gap between Theory and Practice . PhD Thesis, Rice University.

PDF

Jeffrey Dudek, Kuldeep S. Meel, and Moshe Y. Vardi (2017). The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas . In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI).

PDF Slides

Leonardo Duenas-Osorio, Kuldeep S. Meel, Roger Paredes, and Moshe Y. Vardi (2017). Counting-Based Reliability Estimation for Power-Transmission Grids. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF

Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, and Moshe Y. Vardi (2016). On Computing Minimal Independent Support and Its Applications to Sampling and Counting . Constraints 21(1).

PDF Code Slides

Jeffrey Dudek, Kuldeep S. Meel, and Moshe Y. Vardi (2016). Combining the k-CNF and XOR Phase-Transitions . In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI).

PDF Slides

Supratik Chakraborty, Kuldeep S. Meel, and Moshe Y. Vardi (2016). Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls . In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI).

PDF Code Slides

Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, and Moshe Y. Vardi (2016). Approximate Probabilistic Inference via Word-Level Counting . In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF Code Slides

Deepak Majeti, Kuldeep S. Meel, Raj Barik, and Vivek Sarkar (2016). Automatic Data Layout Generation and Kernel Mapping for CPU+GPU Architectures . In Proceedings of International Conference on Compiler Construction (CC).

PDF

Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, and Sharad Malik (2016). Constrained Sampling and Counting: Universal Hashing meets SAT Solving. In Proceedings of Workshop on Beyond NP(BNP).

PDF Code Slides

Karthik, Murthy, Sri Raj, Paul, Kuldeep S. Meel, Tiago Cogumbreiro, and John Mellor-Crummey (2016). Design and Verification of Distributed Phasers. In Proceedings of International European Conference on Parallel and Distributed Computing (Euro-Par).

PDF Code

Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, and Moshe Y. Vardi (2015). On Computing Minimal Independent Support and Its Applications to Sampling and Counting . In Proceedings of International Conference on Constraint Programming (CP).

PDF Code Slides

Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, and Moshe Y. Vardi (2015). From Weighted to Unweighted Model Counting . In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI).

PDF Code Slides

Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, and Moshe Y. Vardi (2015). On Parallel Scalable Uniform SAT Witness Generator. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS).

PDF Code Slides

Deepak Majeti, Kuldeep S. Meel, Raj Barik, and Vivek Sarkar (2014). ADHA: Automatic Data layout framework for Heterogeneous Architectures. In Proceedings of Parallel Architecture and Compilation Techniques (PACT).

PDF

Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia, and Moshe Y. Vardi (2014). Distribution-Aware Sampling and Weighted Model Counting for SAT. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI).

PDF Code Slides

Supratik Chakraborty, Kuldeep S. Meel, and Moshe Y. Vardi (2014). Balancing Scalability and Uniformity in SAT-Witness Generator . In Proceedings of Design Automation Conference (DAC).

PDF Code Slides

Supratik Chakraborty, Kuldeep S. Meel, and Moshe Y. Vardi (2013). A Scalable Approximate Model Counter . In Proceedings of International Conference on Constraint Programming (CP).

PDF Code Slides

Supratik Chakraborty, Kuldeep S. Meel, and Moshe Y. Vardi (2013). A Scalable and Nearly Uniform Generator of SAT Witnesses. In Proceedings of International Conference on Computer-Aided Verification (CAV).

PDF Code Slides