Folgen
Gaurav Sood
Gaurav Sood
Postdoctoral Fellow, University of Haifa, Israel
Bestätigte E-Mail-Adresse bei campus.haifa.ac.il
Titel
Zitiert von
Zitiert von
Jahr
Maxsat resolution and subcube sums
Y Filmus, M Mahajan, G Sood, M Vinyals
ACM Transactions on Computational Logic 24 (1), 1-27, 2023
192023
Hard QBFs for merge resolution
O Beyersdorff, J Blinkhorn, M Mahajan, T Peitl, G Sood
ACM Transactions on Computation Theory 16 (2), 1-24, 2024
62024
QBF Merge Resolution is powerful but unnatural
M Mahajan, G Sood
arXiv preprint arXiv:2205.13428, 2022
22022
On the computational complexity of Data Flow Analysis over finite bounded meet semilattices
G Sood, KM Krishnan
Theoretical Computer Science 885, 30-40, 2021
2021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–4