Follow
Gaurav Sood
Gaurav Sood
Verified email at campus.technion.ac.il
Title
Cited by
Cited by
Year
Maxsat resolution and subcube sums
Y Filmus, M Mahajan, G Sood, M Vinyals
ACM Transactions on Computational Logic 24 (1), 1-27, 2023
172023
Hard QBFs for Merge Resolution
O Beyersdorff, J Blinkhorn, M Mahajan, T Peitl, G Sood
arXiv preprint arXiv:2012.06779, 2020
62020
QBF Merge Resolution is powerful but unnatural
M Mahajan, G Sood
arXiv preprint arXiv:2205.13428, 2022
12022
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
The system can't perform the operation now. Try again later.
Articles 1–4