Y

Yoni Zohar

Bar-Ilan University

ORCID: 0000-0002-2972-6695

82 papers and 685 citations.

PubIndex Score88Top 12% · mid-careerHow it's scored

82Publications

685Total Citations

First publication: 2022First senior author: 2016

Top publicationsby citations

cvc5: A Versatile and Industrial-Strength SMT Solver

Haniel Barbosa, Yoni Zohar|Lecture notes in computer science|2022

Cited by 403

Indexing the rest of 82 publications…