Scholar

Shankara Pailoor

Google Scholar ID: Gz4-FLkAAAAJ

Graduate Student, University of Texas Austin

Google Scholar↗

Citations & Impact

All-time

Citations

524

H-index

9

i10-index

9

Publications

19

Co-authors

3

list available

Contact

No contact links provided.

Publications

1 items

Integer Reasoning Modulo Different Constants in SMT

2025

Cited

0

Resume (English only)

Co-authors

3 total

Associate Professor of Computer Science, Columbia University

Swarat Chaudhuri

UT Austin, Google DeepMind