Yoni Zohar
Scholar

Yoni Zohar

Google Scholar ID: WMHRQ-8AAAAJ
Bar Ilan University
Satisfiability Modulo TheoriesFormal VerificationProof TheoryNon-classical Logics
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,480
 
H-index
13
 
i10-index
20
 
Publications
20
 
Co-authors
24
list available
Contact
No contact links provided.
Publications
5 items
Bringing closure to theory combination properties
2026
Cited
0
Characterizing Sets of Theories That Can Be Disjointly Combined
2025
Cited
0
Shininess, strong politeness, and unicorns
2025
Cited
0
Number theory combination: natural density and SMT
2025
Cited
0
Being polite is not enough (and other limits of theory combination)
2025
Cited
0
Resume (English only)
Co-authors
24 total
Clark Barrett
Clark Barrett
Stanford University
Cesare Tinelli
Cesare Tinelli
Professor of Computer Science, The University of Iowa
Andrew Reynolds
Andrew Reynolds
University of Iowa, Amazon Web Services
Mathias Preiner
Mathias Preiner
Stanford University
Co-author 5
Co-author 5
Ying Sheng
Ying Sheng
xAI
Co-author 7
Co-author 7
Co-author 8
Co-author 8