← Authors

Kuldeep S. Meel

34 papers · 2015–2026 · 5 conferences · across top CS/AI conferences

Achievements

🐣 Hot Topic Early Bird 🧭 Keyword Pioneer 🌍 Conference Polyglot (5) πŸƒ Academic Marathon (10) 🐝 Cross-Pollinator (10) 🌈 Renaissance Researcher (5) πŸŒ‰ Interdisciplinary Bridge πŸ—ΊοΈ Taxonomy Completionist (37) 🧬 Topic Evolution πŸ”¬ Deep Specialist (10) πŸ† Keyword Champion (5) πŸ’Ž Century Club (33) πŸ“ˆ Trend Setter πŸ”₯ Unstoppable (5) ⚑ Prolific Year (6) πŸš€ Conference Pioneer πŸ—ƒοΈ Keyword Collector (127)

Conferences

AAAI (18) IJCAI (12) AISTATS (2) ICLR (1) ICML (1)

Top co-authors

Moshe Y. Vardi (5) Supratik Chakraborty (5) N. V. Vinodchandran (4) Arnab Bhattacharyya (4) A. Pavan (4) Yash Pote (4) Dimitrios Myrisiotis (3) Sutanu Gayen (3) Subhajit Roy (3) Suwei Yang (3)

Research topics

Probability (1)

Keywords

model counting (13) approximate counting (5) sat solver (5) approximation algorithm (4) boolean formula (4) complexity theory (3) approximate algorithm (3) probabilistic inference (3) knowledge compilation (3) approximate inference (3) formal verification (3) exact solver (2) dnf formula (2) automated reasoning (2) combinatorial optimization (2) phase transition (2) bayesian network (2) constraint satisfaction (2) distribution testing (2) propositional logic (2)

Papers

The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques AAAI 2026
Towards Projected and Incremental Pseudo-Boolean Model Counting AAAI 2025
Towards Real-Time Approximate Counting AAAI 2025
Computational Explorations of Total Variation Distance ICLR 2025
Distance Estimation for High-Dimensional Discrete Distributions AISTATS 2025
Probabilistic Explanations for Linear Models AAAI 2025
An Approximate Skolem Function Counter AAAI 2024
Exact ASP Counting with Compact Encodings AAAI 2024
Auditable Algorithms for Approximate Model Counting AAAI 2024
Total Variation Distance Meets Probabilistic Inference ICML 2024
Engineering an Exact Pseudo-Boolean Model Counter AAAI 2024
Testing of Horn Samplers AISTATS 2023
Fast Converging Anytime Model Counting AAAI 2023
Constraint Optimization over Semirings AAAI 2023
Solving the Identifying Code Set Problem with Grouped Independent Support IJCAI 2023
Engineering an Efficient Approximate DNF-Counter IJCAI 2023
On Approximating Total Variation Distance IJCAI 2023
Counting, Sampling, and Synthesis: The Quest for Scalability IJCAI 2022
Symmetric Component Caching for Model Counting on Combinatorial Instances AAAI 2021
Program Synthesis as Dependency Quantified Formula Modulo Theory IJCAI 2021
Partition Function Estimation: A Quantitative Study IJCAI 2021
Justicia: A Stochastic SAT Approach to Formally Verify Fairness AAAI 2021
Predicting Forest Fire Using Remote Sensing Data And Machine Learning AAAI 2021
The Power of Literal Equivalence in Model Counting AAAI 2021
Counting Maximal Satisfiable Subsets AAAI 2021
GANAK: A Scalable Probabilistic Exact Model Counter IJCAI 2019
On the Hardness of Probabilistic Inference Relaxations AAAI 2019
Phase Transition Behavior of Cardinality and XOR Constraints IJCAI 2019
BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting AAAI 2019
Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract) IJCAI 2019
On Testing of Uniform Samplers AAAI 2019
The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas IJCAI 2017
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls IJCAI 2016
From Weighted to Unweighted Model Counting IJCAI 2015