Statistics
Publications
3
Citations
75
H-Index
3
Active since
2018
Affiliations
Tata Consultancy Services (India)(Current)
Sumanth Prabhu is an author at Tata Consultancy Services (India) specializing in engineering, syntax, and automated reasoning.
Publications per year
2018–2021
3
3
Solving Constrained Horn Clauses Using Syntax and Data
Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar et al. · 2018 · 43 citations
Specification synthesis with constrained Horn clauses
Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar et al. · 2021 · 22 citations
1–3 of 3