Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Hari Govind V. K.

Hari Govind Vediramana Krishnan

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/KSG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/KSG22
Hari Govind V. K., Sharon Shoham, Arie Gurfinkel:
Solving constrained Horn clauses modulo algebraic data types and recursive functions. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/KGSG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KGSG24
Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel:
Speculative SAT Modulo SAT. TACAS (1) 2024: 43-60
2023
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GarciaContrerasKSG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GarciaContrerasKSG23
Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel:
Fast Approximations of Quantifier Elimination. CAV (2) 2023: 64-86
2022
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-12231
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-12231
Emanuele De Angelis, Hari Govind V. K.:
CHC-COMP 2022: Competition Report. HCVS/VPT@ETAPS 2022: 44-62
2021
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/KSG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/KSG21
Hari Govind V. K., Sharon Shoham, Arie Gurfinkel:
Logical Characterization of Coherent Uninterpreted Programs. FMCAD 2021: 77-85
2020
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KrishnanCSG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KrishnanCSG20
Hari Govind Vediramana Krishnan, Yuting Chen, Sharon Shoham, Arie Gurfinkel:
Global Guidance for Local Generalization in Model Checking. CAV (2) 2020: 101-125
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/KFG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/KFG20
Hari Govind V. K., Grigory Fedyukovich, Arie Gurfinkel:
Word Level Property Directed Reachability. ICCAD 2020: 107:1-107:9
2019
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KrishnanVGG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KrishnanVGG19
Hari Govind Vediramana Krishnan, Yakir Vizel, Vijay Ganesh, Arie Gurfinkel:
Interpolating Strong Induction. CAV (2) 2019: 367-385
2018
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/LiangKPCG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LiangKPCG18
Jia Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh:
An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate. IJCAI 2018: 5319-5323
2017
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/LiangKPCG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/LiangKPCG17
Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh:
An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate. SAT 2017: 119-135

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-10009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-10009
Isabel Garcia-Contreras, Hari Govind V. K., Sharon Shoham, Arie Gurfinkel:
Fast Approximations of Quantifier Elimination. CoRR abs/2306.10009 (2023)
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-17765
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-17765
Hari Govind V. K., Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel:
Speculative SAT Modulo SAT. CoRR abs/2306.17765 (2023)
2021
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-12902
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-12902
Hari Govind V. K., Sharon Shoham, Arie Gurfinkel:
Logical Characterization of Coherent Uninterpreted Programs. CoRR abs/2107.12902 (2021)
2020
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-13301
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-13301
Hari Govind V. K., Yuting Chen, Sharon Shoham, Arie Gurfinkel:
Global Guidance for Local Generalization in Model Checking. CoRR abs/2005.13301 (2020)
2019
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-01583
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-01583
Hari Govind V. K., Yakir Vizel, Vijay Ganesh, Arie Gurfinkel:
Interpolating Strong Induction. CoRR abs/1906.01583 (2019)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.