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.
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