Kuldeep S. Meel
34 papers · 2015–2026 · 5 venues · across top CS/AI venues
This profile combines several different researchers. Authors are keyed by name, and this name's papers fall into 12 separate collaboration groups - the largest holds only 21% of them. Pick the group below that matches the researcher you mean. How a shared name is split.
Achievements are not shown for a combined profile - each one describes a single researcher's record, which this is not.
Which Kuldeep S. Meel?
7 groups of papers that share co-authors internally but none with each other - each most likely a different researcher. Pick one to see its papers.
with Mate Soos, Sourav Chakraborty, Subhajit Roy
7 papers
· 2019–2023
· IJCAI, AAAI, AISTATS
Hide ▲
Engineering an Efficient Approximate DNF-Counter
IJCAI 2023
Testing of Horn Samplers
AISTATS 2023
Program Synthesis as Dependency Quantified Formula Modulo Theory
IJCAI 2021
Symmetric Component Caching for Model Counting on Combinatorial Instances
AAAI 2021
BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting
AAAI 2019
GANAK: A Scalable Probabilistic Exact Model Counter
IJCAI 2019
On Testing of Uniform Samplers
AAAI 2019
5 papers whose co-authors appear nowhere else under this name
Probabilistic Explanations for Linear Models
AAAI 2025
Solving the Identifying Code Set Problem with Grouped Independent Support
IJCAI 2023
Counting, Sampling, and Synthesis: The Quest for Scalability
IJCAI 2022
Counting Maximal Satisfiable Subsets
AAAI 2021
Justicia: A Stochastic SAT Approach to Formally Verify Fairness
AAAI 2021