Contents: Full publication list, classified by
On Lower Bounding Minimal Model Count.
Mohimenul Kabir, and Kuldeep S. Meel.
In Proceedings of the International Conference on Logic Programming (ICLP), November 2024.
Details
BibTeX
Download:
[pdf]
Model Counting in the Wild.
Arijit Shaw, and Kuldeep S. Meel.
In Proceedings of International Conference on Knowledge Representation and Reasoning (KR), November 2024.
Details
BibTeX
Download:
[pdf]
Locally-Minimal Probabilistic Explanations.
Yacine Izza, Kuldeep S. Meel and Joao Marques-Silva.
In Proceedings of European Conference on Artificial Intelligence(ECAI), October 2024.
Details
BibTeX
Download:
[pdf]
Improved Streaming Algorithm for the Klee’s Measure Problem and Generalizations.
Mridul Nandi ⓡ N. V. Vinodchandran ⓡ Arijit Ghosh ⓡ Kuldeep S. Meel ⓡ Soumit Pal ⓡ Chakraborty,Sourav.
In Proceedings of the International Conference on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), August 2024.
Details
BibTeX
Download:
[pdf]
Total Variation Distance Meets Probabilistic Inference.
Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan and N. V. Vinodchandran.
In Proceedings of the International Conference on Machine Learning (ICML), July 2024.
Details
BibTeX
Download:
[pdf]
Formally Certified Approximate Model Counting.
Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen and Kuldeep S. Meel.
In Proceedings of International Conference on Computer-Aided Verification (CAV), July 2024.
Distinguished Paper Award
Details
BibTeX
Download:
[pdf]
On the Feasibility of Forgetting in Data Streams.
A. Pavan, Sourav, Chakraborty, N. V. Vinodchandran and Kuldeep S. Meel.
In Proceedings of ACM Symposium on Principles of Database Systems (PODS), June 2024.
Details
BibTeX
Download:
[pdf]
Engineering an Efficient Preprocessor for Model Counting.
Mate Soos, and Kuldeep S. Meel.
In Proceedings of Design Automation Conference (DAC), June 2024.
Details
BibTeX
Download:
[pdf]
A faster FPRAS for #NFA.
Kuldeep S. Meel, Sourav Chakraborty and Umang Mathur.
In Proceedings of ACM Symposium on Principles of Database Systems (PODS), June 2024.
Details
BibTeX
Download:
[pdf]
Equivalence Testing: The Power of Bounded Adaptivity.
Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar and Kuldeep S. Meel.
In Proceedings of International Conference on Artificial Intelligence and Statistics (AISTATS), April 2024.
Details
BibTeX
Download:
[pdf]
Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability.
Antoine Amarilli, Timothy van Bremen and Kuldeep S. Meel.
In Proceedings of the International Conference on Database Theory (ICDT), March 2024.
Selected as one of the 7 best papers from the conference to be invited for a special issue of the journal Logical Methods in Computer Science.
Details
BibTeX
Download:
[pdf]
Auditable Algorithms for Approximate Model Counting .
Kuldeep S. Meel, Supratik Chakraborty and S. Akshay.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), January 2024.
Details
BibTeX
Download:
[pdf]
Exact ASP Counting with Compact Encodings.
Mohimenul Kabir, Supratik Chakraborty and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), January 2024.
Details
BibTeX
Download:
[pdf]
Engineering an Exact Pseudo-Boolean Model Counter.
Suwei Yang, and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), January 2024.
Details
BibTeX
Download:
[pdf]
An Approximate Skolem Function Counter.
Arijit Shaw, Brendan Juba and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), January 2024.
Details
BibTeX
Download:
[pdf]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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 Thu Aug 22, 2024 18:37:34