Kuldeep S. Meel
34 papers · 2015–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+12 more ↓ Show less ↑
π Cross-Pollinator (10) π§ Keyword Pioneer π Academic Marathon (10) π Conference Polyglot (5) π Renaissance Researcher (5)
π
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
Research topics
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