Kuldeep S. Meel

Available identifiers

zbMath Open meel.kuldeep-sMaRDI QIDQ265700

List of research outcomes

Publication	Date of Publication	Type
Tolerant Testing of High-Dimensional Samplers with Subcube Conditioning	2023-08-08	Paper
On Scalable Testing of Samplers	2023-06-24	Paper
Projected model counting: beyond independent support	2023-06-02	Paper
Efficient Learning of Interpretable Classification Rules	2022-10-06	Paper
Counting minimal unsatisfiable subsets	2022-03-25	Paper
Leveraging GPUs for effective clause sharing in parallel SAT solving	2022-03-22	Paper
On the usefulness of linear modular arithmetic in constraint programming	2022-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4999316	2021-07-06	Paper
Designing new phase selection heuristics	2021-04-07	Paper
On the sparsity of XORs in approximate model counting	2021-04-07	Paper
Approximate counting of minimal unsatisfiable subsets	2021-02-04	Paper
Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling	2021-02-04	Paper
Sparse Hashing for Scalable Approximate Model Counting	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5136333	2020-11-25	Paper
Scalable Approximation of Quantitative Information Flow in Programs	2020-07-07	Paper
Assessing heuristic machine learning explanations with model counting	2020-05-20	Paper
CrystalBall: gazing in the black box of SAT solving	2020-05-20	Paper
Not all FPRASs are equal: demystifying FPRASs for DNF-counting	2019-11-27	Paper
Knowledge Compilation meets Uniform Sampling	2019-07-04	Paper
Design and verification of distributed phasers	2018-01-11	Paper
On computing minimal independent support and its applications to sampling and counting	2016-04-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kuldeep S. Meel