Hari Govind V. K.

Orcid: 0000-0002-2789-5997

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Speculative SAT Modulo SAT.
CoRR, 2023

Fast Approximations of Quantifier Elimination.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022
Solving constrained Horn clauses modulo algebraic data types and recursive functions.
Proc. ACM Program. Lang., 2022

CHC-COMP 2022: Competition Report.
Proceedings of the Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, 2022

2021
Logical Characterization of Coherent Uninterpreted Programs.
Proceedings of the Formal Methods in Computer Aided Design, 2021

2020
Word Level Property Directed Reachability.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 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...