Gaurav Sood

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 11

Top Topics

Higher Resolution

Quantified Boolean Formulas

Top Venues

Electron. Colloquium Comput. Complex.

ACM Trans. Comput. Log.

Publications

Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals
MaxSAT Resolution and Subcube Sums. ACM Trans. Comput. Log. 24 (1) (2023)
Meena Mahajan, Gaurav Sood
QBF Merge Resolution Is Powerful but Unnatural. SAT (2022)
Meena Mahajan, Gaurav Sood
QBF Merge Resolution is powerful but unnatural. CoRR (2022)
Meena Mahajan, Gaurav Sood
QBF Merge Resolution is powerful but unnatural. Electron. Colloquium Comput. Complex. (2022)
Gaurav Sood, K. Murali Krishnan
On the computational complexity of Data Flow Analysis over finite bounded meet semilattices. Theor. Comput. Sci. 885 (2021)
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl, Gaurav Sood
Hard QBFs for Merge Resolution. CoRR (2020)
Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals
MaxSAT Resolution and Subcube Sums. SAT (2020)
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl, Gaurav Sood
Hard QBFs for Merge Resolution. Electron. Colloquium Comput. Complex. 27 (2020)
Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals
MaxSAT Resolution and Subcube Sums. Electron. Colloquium Comput. Complex. 27 (2020)
Yuval Filmus, Meena Mahajan, Gaurav Sood, Marc Vinyals
MaxSAT Resolution and Subcube Sums. CoRR (2020)
Olaf Beyersdorff, Joshua Blinkhorn, Meena Mahajan, Tomás Peitl, Gaurav Sood
Hard QBFs for Merge Resolution. FSTTCS (2020)
Gaurav Sood, K. Murali Krishnan
On the computational complexity of Data Flow Analysis CoRR (2013)