Contents: Full publication list, classified by

• Research Topic (default, see below)
• Year
• Publication Type

Papers are listed in reverse chronological order under each heading.

Sorted by Date

Change Classification Category: Select... Classified by Publication Type Classified by Publication Year Classified by Research Topic

---

2023

Engineering an Efficient Approximate DNF-Counter.
Mate Soos, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel and Maciej Obremski.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), August 2023.
Details     BibTeX     Download: [pdf] 

Explaining SAT Solving Using Causal Reasoning.
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos and Kuldeep S. Meel.
In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT), July 2023.
Details     BibTeX     Download: [pdf] 

Rounding meets Approximate Model Counting.
Jiong Yang, and Kuldeep S. Meel.
In Proceedings of International Conference on Computer-Aided Verification (CAV), July 2023.
Distinguished Paper Award
Details     BibTeX     Download: [pdf] 

Solving the Identifying Code Set Problem with Grouped Independent Support.
Anna Latour, Arunabha Sen and Kuldeep S. Meel.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), July 2023.
Details     BibTeX     Download: [pdf] 

On Approximating Total Variation Distance.
Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S Meel, Dimitrios Myrisiotis, Pavan A. and N. V. Vinodchandran.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), July 2023.
Details     BibTeX     Download: [pdf] 

Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?.
Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar and Kuldeep S. Meel.
In Proceedings of EATCS International Colloquium on Automata, Languages and Programming (ICALP), July 2023.
Details     BibTeX     Download: [HTML] 

“How Biased are Your Features?”: Computing Fairness Influence Functions with Global Sensitivity Analysis.
Bishwamittra Ghosh, Debabrota Basu and Kuldeep S. Meel.
In Proceedings of the ACM Conference on Fairness, Accountability, and Transparency (FAccT), June 2023.
Details     BibTeX     Download: [pdf] 

A Fast and Accurate ASP Counting Based Network Reliability Estimator.
Mohimenul Kabir, and Kuldeep S. Meel.
In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), June 2023.
Details     BibTeX     Download: [pdf] 

Scalable Probabilistic Routes.
Suwei Yang, Victor Liang and Kuldeep S. Meel.
In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), June 2023.
Details     BibTeX     Download: [pdf] 

Probabilistic Query Evaluation: the Combined FPRAS Landscape.
Timothy van Bremen, and Kuldeep S. Meel.
In Proceedings of ACM Symposium on Principles of Database Systems (PODS), June 2023.
Details     BibTeX     Download: [HTML] 

On Testing of Horn Samplers.
Ansuman Banerjee, Shayak, Chakraborty, Sourav Chakraborty, Kuldeep S. Meel, Uddalok Sarkar and Sayantan Sen.
In Proceedings of International Conference on Artificial Intelligence and Statistics (AISTATS), April 2023.
Details     BibTeX     Download: [HTML] 

Synthesis with Explicit Dependencies.
Priyanka Golia, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of Design, Automation, and Test in Europe(DATE), April 2023.
Best Paper Award Nomination
Details     BibTeX     Download: [pdf] 

Constraint Optimization over Semirings.
A. Pavan ⓡ Kuldeep S. Meel ⓡ N. V. Vinodchandran ⓡ Arnab Bhattacharyya.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), January 2023.
Details     BibTeX     Download: [pdf] 

Fast Converging Anytime Model Counting.
Yong Lai, Kuldeep S. Meel and Roland Yap.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), January 2023.
Details     BibTeX     Download: [pdf] 

2022

A scalable tester for samplers.
Yash Pote ⓡ Kuldeep S. Meel.
In Proceedings of Advances in Neural Information Processing Systems(NeurIPS), November 2022.
Details     BibTeX     Download: [pdf] 

Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling.
Mate Soos, and Kuldeep S. Meel.
In Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD), November 2022.
Details     BibTeX     Download: [pdf] 

INC: A Scalable Incremental Weighted Sampler.
Suwei Yang, and Kuldeep S. Meel.
In Proceedings of Formal Methods in Computer-Aided Design (FMCAD), October 2022.
Details     BibTeX     Download: [pdf] 

Projected Model Counting: Beyond Independent Support.
Jiong Yang, Supratik Chakraborty and Kuldeep S. Meel.
In Proceedings of International Symposium on Automated Technology for Verification and Analysis (ATVA), October 2022.
Details     BibTeX     Download: [pdf] 

Efficient Learning of Interpretable Classification Rules
Bishwamittra Ghosh, Dmitry Malioutov and Kuldeep S. Meel.
Journal of Artificial Intelligence Research (JAIR), 74:1823–1863, September 2022.
Details     BibTeX     Download: [HTML] 

Distinct Elements in Streams: An Algorithm for the (Text) Book.
Sourav Chakraborty ⓡ N. V. Vinodchandran ⓡ Kuldeep S. Meel.
In Proceedings of European Symposium of Algorithms (ESA), August 2022.
Details     BibTeX     Download: [pdf] 

A Scalable Shannon Entropy Estimator.
Priyanka Golia, Brendan Juba and Kuldeep S. Meel.
In Proceedings of International Conference on Computer-Aided Verification (CAV), August 2022.
Invited to FMSD Special Issue dedicated to the Best Papers from CAV-22
Details     BibTeX     Download: [pdf] 

On Quantitative Testing of Uniform Samplers.
Mate Soos, Priyanka Golia, Sourav Chakraborty and Kuldeep S. Meel.
In Proceedings of International Conference on Constraint Programming (CP), August 2022.
Details     BibTeX     Download: [pdf] 

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

Counting, Sampling, and Synthesis: The Quest for Scalability.
Kuldeep S. Meel.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), July 2022.
Details     BibTeX     Download: [pdf] 

Model Counting Meets Distinct Elements in a Data Stream
A. Pavan, N. V. Vinodchandran, Arnab Bhattacharyya and Kuldeep S. Meel.
SIGMOD Record, 51(1):87–94, June 2022.
Details     BibTeX     Download: [HTML] 

Estimation of the Size of Union of Delphic Sets: Achieving Independence from Stream Size.
Kuldeep S. Meel ⓡ Sourav Chakraborty ⓡ N.V. Vinodchandran.
In Proceedings of ACM Symposium on Principles of Database Systems (PODS), June 2022.
Details     BibTeX     Download: [pdf] 

A Scalable t-wise Coverage Estimator.
Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel and N.V. Vinodchandran.
In Proceedings of International Conference on Software Engineering (ICSE), May 2022.
Details     BibTeX     Download: [pdf] 

Algorithmic Fairness Verification with Graphical Models.
Bishwamittra Ghosh, Debabrota Basu and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2022.
Details     BibTeX     Download: [pdf] 

ApproxASP - A Scalable Approximate Answer Set Counter.
Mohimenul Kabir, Flavio Everardo, Ankit K. Shukla, Markus Hecher, Johannes Fichte and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2022.
Details     BibTeX     Download: [pdf] 

Constraint-Driven Explanations of Black-Box ML Models.
Aditya Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, Joao Marques-Silva and Vardi,Moshe Y. .
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2022.
Details     BibTeX     Download: [pdf] 

2021

Testing Probabilistic Circuits.
Yash Pote, and Kuldeep S. Meel.
In Proceedings of Advances in Neural Information Processing Systems(NeurIPS), December 2021.
Details     BibTeX     Download: [pdf] 

Engineering an Efficient Boolean Functional Synthesis Engine.
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD), November 2021.
Best Paper Award Nomination
Details     BibTeX     Download: [pdf] 

Gaussian Elimination meets Maximum Satisfiability.
Mate Soos, and Kuldeep S. Meel.
In Proceedings of International Conference on Knowledge Representation and Reasoning (KR), November 2021.
Details     BibTeX     Download: [pdf] 

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

Engineering an Efficient PB-XOR Solver.
Jiong Yang, and Kuldeep S. Meel.
In Proceedings of International Conference on Constraint Programming (CP), September 2021.
Details     BibTeX     Download: [pdf] 

Program Synthesis as Dependency Quantified Formula Modulo Theory.
Priyanka Golia, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), August 2021.
Details     BibTeX     Download: [pdf] 

Partition Function Estimation: A Quantitative Study.
Durgesh Agrawal, Yash Pote and Kuldeep S. Meel.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), August 2021.
Details     BibTeX     Download: [pdf] 

Counting Minimal Unsatisfiable Subsets.
Jaroslav Bendik, and Kuldeep S. Meel.
In Proceedings of International Conference on Computer-Aided Verification (CAV), July 2021.
Details     BibTeX     Download: [pdf] 

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

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

Estimating the Size of Unions of Sets in Streaming Models.
Kuldeep S. Meel ⓡ N.V. Vinodchandran ⓡ Sourav Chakraborty.
In Proceedings of ACM Symposium on Principles of Database Systems (PODS), June 2021.
Details     BibTeX     Download: [pdf] 

Model Counting meets F0 Estimation.
A. Pavan ⓡ N.V. Vinodchandran ⓡ Arnab Bhattacharya ⓡ Kuldeep S. Meel.
In Proceedings of ACM Symposium on Principles of Database Systems (PODS), June 2021.
CACM Research Highlight and 2021 ACM SIGMOD Research Highlight
Details     BibTeX     Download: [pdf] 

Scalable Quantitative Verification For Deep Neural Networks.
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel and Prateek Saxena.
In Proceedings of International Conference on Software Engineering (ICSE), May 2021.
Details     BibTeX     Download: [pdf] 

The Power of Literal Equivalence in Model Counting.
Yong Lai, Kuldeep S. Meel and Roland Yap.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2021.
Details     BibTeX     Download: [pdf] 

Symmetric Component Caching for Model Counting on Combinatorial Instances.
Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2021.
Details     BibTeX     Download: [pdf] 

Counting Maximal Satisfiable Subsets.
Jaroslav Bendik, and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2021.
Details     BibTeX     Download: [pdf] 

Predicting Forest Fire Using Remote Sensing Data And Machine Learning.
Suwei Yang, Lupascu,Massimo and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2021.
Details     BibTeX     Download: [pdf] 

Justicia: A Stochastic SAT Approach to Formally Verify Fairness.
Bishwamittra Ghosh, Debabrota Basu and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2021.
Details     BibTeX     Download: [pdf] 

Approximate Model Counting.
Supratik Chakraborty, Kuldeep S. Meel and Moshe Y. Vardi.
In Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh, editors, Handbook of Satisfiability - Second Edition, Frontiers in Artificial Intelligence and Applications, pp. 1015–1045, IOS Press, 2021.
Details     BibTeX     Download: [pdf] 

2020

Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning.
Arnab Bhattacharyya, Gayen,Sutanu, Kuldeep S. Meel and N. V. Vinodchandran.
In Proceedings of Advances in Neural Information Processing Systems(NeurIPS), December 2020.
Details     BibTeX     Download: [HTML] 

Taming Discrete Integration via the Boon of Dimensionality.
Jeffrey M. Dudek, Dror Fried and Kuldeep S. Meel.
In Proceedings of Advances in Neural Information Processing Systems(NeurIPS), December 2020.
Details     BibTeX     Download: [HTML] 

On Testing of Samplers.
Kuldeep S. Meel ⓡ Yash Pote ⓡ Sourav Chakraborty.
In Proceedings of Advances in Neural Information Processing Systems(NeurIPS), December 2020.
Details     BibTeX     Download: [HTML] 

Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage.
Eduard Baranov, Axel Legay and Kuldeep S. Meel.
In Proceedings of ACM Joint European Software Engineering Conference and Symposium on the Founda-tions of Software Engineering (ESEC/FSE), November 2020.
Details     BibTeX     Download: [pdf] 

Phase Transition Behavior in Knowledge Compilation.
Rahul Gupta, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of International Conference on Constraint Programming (CP), September 2020.
Details     BibTeX     Download: [pdf] 

Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice.
Kuldeep S. Meel ⓡ Akshay,S..
In Proceedings of Logic in Computer science (LICS), July 2020.
Details     BibTeX     Download: [pdf] 

Designing New Phase Selection Heuristics.
Arijit Shaw, and Kuldeep S. Meel.
In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT), July 2020.
Details     BibTeX     Download: [pdf] 

On the Sparsity of XORs in Approximate Model Counting.
Durgesh Agrawal, Bhavishya and Kuldeep S. Meel.
In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT), July 2020.
Details     BibTeX     Download: [pdf] 

Tinted, Detached, and Lazy CNF-XOR solving and its Applications to Counting and Sampling.
Mate Soos, Stephan Gocht and Kuldeep S. Meel.
In Proceedings of International Conference on Computer-Aided Verification (CAV), July 2020.
Details     BibTeX     Download: [pdf] 

Manthan: A Data-Driven Approach for Boolean Function Synthesis.
Priyanka Golia, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of International Conference on Computer-Aided Verification (CAV), July 2020.
Details     BibTeX     Download: [pdf] 

Approximate Counting of Minimal Unsatisfiable Subsets.
Jaroslav Bendik, and Kuldeep S. Meel.
In Proceedings of International Conference on Computer-Aided Verification (CAV), July 2020.
Invited to FMSD issue dedicated to the best papers from CAV 2020
Details     BibTeX     Download: [pdf] 

Classification Rules in Relaxed Logical Form.
Bishwamittra Ghosh, Dmitry Malioutov and Kuldeep S. Meel.
In Proceedings of European Conference on Artificial Intelligence(ECAI), June 2020.
Details     BibTeX     Download: [pdf] 

Induction Models on N.
A. Dileep, Kuldeep S. Meel and Ammar F. Sabili.
In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), April 2020.
Details     BibTeX     Download: [pdf] 

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

A MaxSAT-based Framework for Group Testing.
Lorenzo Ciampiconi, Bishwamittra Ghosh, Jonathan Scarlett and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2020.
Details     BibTeX     Download: [pdf] 

2019

Embedding Symbolic Knowledge into Deep Networks.
Yaqi Xie, Ziwei Xu, Kankanhalli,Mohan S., Meel,Kuldeep S. and Harold Soh.
In Proceedings of Advances in Neural Information Processing Systems(NeurIPS), December 2019.
Details     BibTeX     Download: [pdf] 

Quantitative Verification of Neural Networks And its Security Applications.
Teodora Baluta, Shiqi Shen, Shine,Shweta, Kuldeep S. Meel and Prateek Saxena.
In Proceedings of ACM Conference on Computer and Communications Security (CCS), November 2019.
Details     BibTeX     Download: [pdf] 

Principled network reliability approximation: A counting-based approach.
Roger Paredes, Leonardo Duenas-Osorio, Kuldeep S. Meel and Moshe Y. Vardi.
Journal of Reliability Engineering and System Safety(RESS), November 2019.
Details     BibTeX     Download: [pdf] 

Dual Hashing-based Algorithms for Discrete Integration.
de Colnet,Alexis, and Kuldeep S. Meel.
In Proceedings of International Conference on Constraint Programming (CP), October 2019.
Details     BibTeX     Download: [pdf] 

Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract).
Kuldeep S. Meel, Aditya A. Shrotri and Moshe Y. Vardi.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), August 2019.
Sister Conference Best Papers Track
Details     BibTeX     Download: [pdf] 

Ganak: A Scalable Probabilistic Exact Model Counter .
Shubham Sharma, Subhajit Roy, Mate Soos and Kuldeep S. Meel.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), August 2019.
Details     BibTeX     Download: [pdf] 

Phase Transition Behavior of Cardinality and XOR Constraints .
Yash Pote, Saurabh Joshi and Kuldeep S. Meel.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), August 2019.
Details     BibTeX     Download: [pdf] 

Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting
Kuldeep S. Meel, Aditya A. Shrotri and Moshe Y. Vardi.
Constraints, August 2019.
Details     BibTeX     Download: [pdf] 

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

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

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

Bosphorus: Bridging ANF and CNF Solvers.
Davin Choo, Mate Soos, Kian Ming A. Chai and Kuldeep S. Meel.
In Proceedings of Design, Automation, and Test in Europe(DATE), March 2019.
Details     BibTeX     Download: [pdf] 

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

On testing of Uniform Samplers.
Sourav Chakraborty, and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), January 2019.
Details     BibTeX     Download: [pdf] 

On the Hardness of Probabilistic Inference Relaxations.
Supratik Chakraborty, Kuldeep S. Meel and Moshe Y. Vardi.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), January 2019.
Details     BibTeX     Download: [pdf] 

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

2018

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

Constrained counting and sampling: bridging the gap between theory and practice.
Kuldeep S. Meel.
Ph.D. Thesis, Rice University, 2018.
Winner of 2018 Ralph Budd Award for Best Engineering Thesis and Honorable mention, 2018 ACP Doctoral Dissertation Award
Details     BibTeX     Download: [pdf] 

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

Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting.
Kuldeep S. Meel, Aditya A. Shrotri and Moshe Y. Vardi.
In Proceedings of International Conference on Constraint Programming (CP), August 2018.
Sister Conferences Best Paper Track at IJCAI-19
Details     BibTeX     Download: [pdf] 

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

2017

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

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

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

2016

On Computing Minimal Independent Support and Its Applications to Sampling and Counting
Alexander Ivrii, Sharad Malik, Kuldeep S. Meel and Moshe Y. Vardi.
Constraints, 21(1), September 2016.
Details     BibTeX     Download: [pdf] 

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

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

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

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

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 and Sharad Malik.
In Proceedings of Workshop on Beyond NP(BNP), February 2016.
Details     BibTeX     Download: [pdf] 

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

2015

On Computing Minimal Independent Support and Its Applications to Sampling and Counting.
Alexander Ivrii, Sharad Malik, Kuldeep S. Meel and Moshe Y. Vardi.
In Proceedings of International Conference on Constraint Programming (CP), September 2015.
Best Student Paper Award
Details     BibTeX     Download: [pdf] 

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

On Parallel Scalable Uniform SAT Witness Generator.
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia and Moshe Y. Vardi.
In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 304–319, April 2015.
Details     BibTeX     Download: [pdf] 

2014

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

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

Balancing Scalability and Uniformity in SAT-Witness Generator.
Supratik Chakraborty, Kuldeep S. Meel and Moshe Y. Vardi.
In Proceedings of Design Automation Conference (DAC), pp. 60:1–60:6, June 2014.
Details     BibTeX     Download: [pdf] 

Sampling techniques for boolean satisfiability.
Kuldeep S. Meel.
Master's Thesis, Rice University,2014.
Winner of 2014 VCLA (Vienna Center of Logic and Algorithms) Outstanding Masters Thesis
Details     BibTeX     Download: [pdf] 

2013

A Scalable Approximate Model Counter.
Supratik Chakraborty, Kuldeep S. Meel and Moshe Y. Vardi.
In Proceedings of International Conference on Constraint Programming (CP), pp. 200–216, September 2013.
Selected for CP 25th Anniversary Volume
Details     BibTeX     Download: [pdf] 

A Scalable and Nearly Uniform Generator of SAT Witnesses.
Supratik Chakraborty, Kuldeep S. Meel and Moshe Y. Vardi.
In Proceedings of International Conference on Computer-Aided Verification (CAV), pp. 608–622, July 2013.
Details     BibTeX     Download: [pdf] 

---

Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Mon Oct 02, 2023 17:53:52