Gaurav Sood

14 papers A 2Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Hard QBFs for Merge Resolution.
ACM Trans. Comput. Theory
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl, Gaurav Sood
2024 J jnl
QBF Merge Resolution is powerful but unnatural.
Log. Methods Comput. Sci.
Meena Mahajan, Gaurav Sood
2023 J jnl
MaxSAT Resolution and Subcube Sums.
ACM Trans. Comput. Log.
Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals
2022 A conf
QBF Merge Resolution Is Powerful but Unnatural.
SAT
Meena Mahajan, Gaurav Sood
2022 J jnl
QBF Merge Resolution is powerful but unnatural.
CoRR
Meena Mahajan, Gaurav Sood
2022 J jnl
QBF Merge Resolution is powerful but unnatural.
Electron. Colloquium Comput. Complex.
Meena Mahajan, Gaurav Sood
2021 J jnl
On the computational complexity of Data Flow Analysis over finite bounded meet semilattices.
Theor. Comput. Sci.
Gaurav Sood, K. Murali Krishnan
2020 — conf
Hard QBFs for Merge Resolution.
FSTTCS
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl, Gaurav Sood
2020 J jnl
Hard QBFs for Merge Resolution.
CoRR
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl, Gaurav Sood
2020 J jnl
Hard QBFs for Merge Resolution.
Electron. Colloquium Comput. Complex.
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl, Gaurav Sood
2020 A conf
MaxSAT Resolution and Subcube Sums.
SAT
Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals
2020 J jnl
MaxSAT Resolution and Subcube Sums.
CoRR
Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals
2020 J jnl
MaxSAT Resolution and Subcube Sums.
Electron. Colloquium Comput. Complex.
Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals
2013 J jnl
On the computational complexity of Data Flow Analysis
CoRR
Gaurav Sood, K. Murali Krishnan