Seguir
Gaurav Sood
Gaurav Sood
Assistant Professor, Indian Institute of Technology, Mandi
Dirección de correo verificada de iitmandi.ac.in
Título
Citado por
Citado por
Año
Maxsat resolution and subcube sums
Y Filmus, M Mahajan, G Sood, M Vinyals
ACM Transactions on Computational Logic 24 (1), 1-27, 2023
222023
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
72024
QBF merge resolution is powerful but unnatural
M Mahajan, G Sood
Logical Methods in Computer Science 20, 2024
22024
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–4