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 2022.

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

2022
QBF Merge Resolution Is Powerful but Unnatural.
[BibTeX]
[DOI]
Meena Mahajan
,
Gaurav Sood
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 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
MaxSAT Resolution and Subcube Sums.
[BibTeX]
[DOI]
Yuval Filmus
,
Meena Mahajan
,
Gaurav Sood
,
Marc Vinyals
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Hard QBFs for Merge Resolution.
[BibTeX]
[DOI]
Olaf Beyersdorff
,
Joshua Blinkhorn
,
Meena Mahajan
,
Tomás Peitl
,
Gaurav Sood
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

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


  Loading...