Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
2020 · Lecture notes in computer science · 66 citations
https://doi.org/10.1007/978-3-030-53288-8_22
K
Kuldeep S. Meel
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
1
Papers
0
Citations
0
h-index
0
i10-index
Kuldeep S. Meel is an academic researcher. The author has contributed to research in topics: Formal Methods in Verification & Gene expression and cancer classification & Bayesian Modeling and Causal Inference.
Papers by this author
worksResearch topics
topicsChat about Author
Papers
Chat
Click to start Chat