An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate. - Jia Hui Liang; Hari Govind V. K.; Pascal Poupart; Krzysztof Czarnecki 001; Vijay Ganesh 001 (SAT, 2017)

An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate. - Jia Liang; Hari Govind V. K.; Pascal Poupart; Krzysztof Czarnecki 001; Vijay Ganesh 001 (IJCAI, 2018)

Interpolating Strong Induction. - Hari Govind Vediramana Krishnan; Yakir Vizel; Vijay Ganesh 001; Arie Gurfinkel (CAV (2), 2019)

Word Level Property Directed Reachability. - Hari Govind V. K.; Grigory Fedyukovich; Arie Gurfinkel (ICCAD, 2020)

Logical Characterization of Coherent Uninterpreted Programs. - Hari Govind V. K.; Sharon Shoham; Arie Gurfinkel (FMCAD, 2021)

CHC-COMP 2022: Competition Report. - Emanuele De Angelis; Hari Govind V. K. (HCVS/VPT@ETAPS, 2022)

Solving constrained Horn clauses modulo algebraic data types and recursive functions. - Hari Govind V. K.; Sharon Shoham; Arie Gurfinkel (Proc. ACM Program. Lang., 2022)

Fast Approximations of Quantifier Elimination. - Isabel Garcia-Contreras; Hari Govind V. K.; Sharon Shoham; Arie Gurfinkel (CAV (2), 2023)

Competition of Solvers for Constrained Horn Clauses (CHC-COMP 2023). - Emanuele De Angelis; Hari Govind Vediramana Krishnan (TOOLympics@ETAPS, 2023)

CHC-COMP 2023: Competition Report. - Emanuele De Angelis; Hari Govind V. K. (LSFA/HCVS, 2023)

Speculative SAT Modulo SAT. - Hari Govind V. K.; Isabel Garcia-Contreras; Sharon Shoham; Arie Gurfinkel (TACAS (1), 2024)

Global guidance for local generalization in model checking. - Hari Govind Vediramana Krishnan; Yuting Chen; Sharon Shoham; Arie Gurfinkel (Formal Methods Syst. Des., 2024)