Hari Govind V. K.

14 papers A* 1A 2B 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2024 — conf
Speculative SAT Modulo SAT.
TACAS (1)
Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel
2023 — conf
CHC-COMP 2023: Competition Report.
LSFA/HCVS
Emanuele De Angelis, Hari Govind V. K.
2023 — conf
Fast Approximations of Quantifier Elimination.
CAV (2)
Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
2023 J jnl
Fast Approximations of Quantifier Elimination.
CoRR
Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
2023 J jnl
Speculative SAT Modulo SAT.
CoRR
Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel
2022 — conf
CHC-COMP 2022: Competition Report.
HCVS/VPT@ETAPS
Emanuele De Angelis, Hari Govind V. K.
2022 J jnl
Solving constrained Horn clauses modulo algebraic data types and recursive functions.
Proc. ACM Program. Lang.
Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
2021 B conf
Logical Characterization of Coherent Uninterpreted Programs.
FMCAD
Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
2021 J jnl
Logical Characterization of Coherent Uninterpreted Programs.
CoRR
Hari Govind V. K., Sharon Shoham, Arie Gurfinkel
2020 J jnl
Global Guidance for Local Generalization in Model Checking.
CoRR
Hari Govind V. K., Yuting Chen, Sharon Shoham, Arie Gurfinkel
2020 A conf
Word Level Property Directed Reachability.
ICCAD
Hari Govind V. K., Grigory Fedyukovich, Arie Gurfinkel
2019 J jnl
Interpolating Strong Induction.
CoRR
Hari Govind V. K., Yakir Vizel, Vijay Ganesh, Arie Gurfinkel
2018 A* conf
An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate.
IJCAI
Jia Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh
2017 A conf
An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate.
SAT
Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh