K. HariGovindV.
发表
Arie Gurfinkel,
Sharon Shoham,
K HariGovindV,
2020,
CAV.
Arie Gurfinkel,
Vijay Ganesh,
Yakir Vizel,
2019,
CAV.
A. Gurfinkel,
Sharon Shoham,
K. HariGovindV.,
2023,
ArXiv.
Krzysztof Czarnecki,
Pascal Poupart,
Jia Hui Liang,
2017,
SAT.