Aditya A. Shrotri
Aditya A. Shrotri
Verified email at rice.edu - Homepage
Title
Cited by
Cited by
Year
Assessing heuristic machine learning explanations with model counting
N Narodytska, A Shrotri, KS Meel, A Ignatiev, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2019
92019
Not all FPRASs are equal: demystifying FPRASs for DNF-counting
KS Meel, AA Shrotri, MY Vardi
Constraints 24 (3-4), 211-233, 2019
42019
On hashing-based approaches to approximate DNF-counting
KS Meel, AA Shrotri, MY Vardi
arXiv preprint arXiv:1710.05247, 2017
42017
On Symbolic Approaches for Computing the Matrix Permanent
S Chakraborty, AA Shrotri, MY Vardi
International Conference on Principles and Practice of Constraint …, 2019
2019
On Hashing-Based Approaches to Approximate DNF-Counting
AA Shrotri
2017
The system can't perform the operation now. Try again later.
Articles 1–5