Hari Govind V. K.

According to our database1, Hari Govind V. K. authored at least 4 papers between 2017 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Global Guidance for Local Generalization in Model Checking.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Interpolating Strong Induction.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017
An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017


  Loading...