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.
Electron. Colloquium Comput. Complex., 2022

2021
On the computational complexity of Data Flow Analysis over finite bounded meet semilattices.
Theor. Comput. Sci., 2021

2020
MaxSAT Resolution and Subcube Sums.
Electron. Colloquium Comput. Complex., 2020

Hard QBFs for Merge Resolution.
Electron. Colloquium Comput. Complex., 2020

2013
On the computational complexity of Data Flow Analysis
CoRR, 2013


  Loading...