Scholar
Arijit Shaw
Google Scholar ID: YG9gqKcAAAAJ
Chennai Mathematical Institute
SAT Solvers
Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
41
H-index
3
i10-index
2
Publications
15
Co-authors
7
list available
Publications
3 items
CSB: A Counting and Sampling tool for Bit-vectors
2026
Cited
0
Efficient Volume Computation for SMT Formulas
2025
Cited
0
Approximate SMT Counting Beyond Discrete Domains
2025
Cited
0
Co-authors
3 total
Kuldeep S. Meel
Associate Professor, University of Toronto
Brendan Juba
Associate Professor, Washington University in St. Louis
Teodora Baluta
Georgia Institute of Technology
