We stand with Ukraine  

Gaurav Sood

Orcid: 0000-0001-6501-6589

Affiliations:
  • Institute of Mathematical Sciences, Chennai, India
  • National Institute of Technology, Calicut, India (2011-2013)


According to our database1, Gaurav Sood authored at least 5 papers between 2013 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
MaxSAT Resolution and Subcube Sums.
[BibTeX]
[DOI]
Yuval Filmus
,
Meena Mahajan
,
Gaurav Sood
,
Marc Vinyals
ACM Trans. Comput. Log., January, 2023

2022
QBF Merge Resolution is powerful but unnatural.
[BibTeX]
[DOI]
Meena Mahajan
,
Gaurav Sood
Electron. Colloquium Comput. Complex., 2022

2021
On the computational complexity of Data Flow Analysis over finite bounded meet semilattices.
[BibTeX]
[DOI]
Gaurav Sood
,
K. Murali Krishnan
Theor. Comput. Sci., 2021

2020
Hard QBFs for Merge Resolution.
[BibTeX]
[DOI]
Olaf Beyersdorff
,
Joshua Blinkhorn
,
Meena Mahajan
,
Tomás Peitl
,
Gaurav Sood
Electron. Colloquium Comput. Complex., 2020

2013
On the computational complexity of Data Flow Analysis
[BibTeX]
[DOI]
Gaurav Sood
,
K. Murali Krishnan
CoRR, 2013


  Loading...