Hari Govind V. K.
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | TACAS | Speculative SAT Modulo SAT. | Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel |
| 2023 | CAV | Fast Approximations of Quantifier Elimination. | Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel |
| 2021 | FMCAD | Logical Characterization of Coherent Uninterpreted Programs. | Hari Govind V. K., Sharon Shoham, Arie Gurfinkel |
| 2020 | ICCAD | Word Level Property Directed Reachability. | Hari Govind V. K., Grigory Fedyukovich, Arie Gurfinkel |
| 2018 | IJCAI | An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate. | Jia Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh |
| 2017 | SAT | An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate. | Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh |