On Hashing-Based Approaches to Approximate DNF-Counting. - Kuldeep S. Meel; Aditya A. Shrotri; Moshe Y. Vardi (FSTTCS, 2017)

On Symbolic Approaches for Computing the Matrix Permanent. - Supratik Chakraborty; Aditya A. Shrotri; Moshe Y. Vardi (CP, 2019)

Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract). - Kuldeep S. Meel; Aditya A. Shrotri; Moshe Y. Vardi (IJCAI, 2019)

Assessing Heuristic Machine Learning Explanations with Model Counting. - Nina Narodytska; Aditya A. Shrotri; Kuldeep S. Meel; Alexey Ignatiev; João Marques-Silva 001 (SAT, 2019)

Not all FPRASs are equal: demystifying FPRASs for DNF-counting. - Kuldeep S. Meel; Aditya A. Shrotri; Moshe Y. Vardi (Constraints An Int. J., 2019)

On Uniformly Sampling Traces of a Transition System. - Supratik Chakraborty; Aditya A. Shrotri; Moshe Y. Vardi (ICCAD, 2020)

On Uniformly Sampling Traces of a Transition System (Extended Version). - Supratik Chakraborty; Aditya A. Shrotri; Moshe Y. Vardi (CoRR, 2020)

Constraint-Driven Explanations for Black-Box ML Models. - Aditya A. Shrotri; Nina Narodytska; Alexey Ignatiev; Kuldeep S. Meel; João Marques-Silva 001; Moshe Y. Vardi (AAAI, 2022)

DPSampler: Exact Weighted Sampling Using Dynamic Programming. - Jeffrey M. Dudek; Aditya A. Shrotri; Moshe Y. Vardi (IJCAI, 2022)