Login / Signup
Surendra Ghentiyala
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
High Computational Complexity
Upper Bound
Satisfiability Testing
Model Counting
Top Venues
Proc. ACM Program. Lang.
Electron. Colloquium Comput. Complex.
</>
Publications
</>
Huck Bennett
,
Surendra Ghentiyala
,
Noah Stephens-Davidowitz
The more the merrier! On the complexity of finding multicollisions, with connections to codes and lattices.
Electron. Colloquium Comput. Complex.
(2024)
Seemanta Saha
,
Surendra Ghentiyala
,
Shihua Lu
,
Lucas Bang
,
Tevfik Bultan
Obtaining Information Leakage Bounds via Approximate Model Counting.
Proc. ACM Program. Lang.
7 (PLDI) (2023)