Cesare Tinelli
Scholar

Cesare Tinelli

Google Scholar ID: wbZc9nUAAAAJ
Professor of Computer Science, The University of Iowa
Satisfiability Modulo TheoriesAutomated ReasoningTheorem ProvingModel CheckingFormal Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
7,274
 
H-index
32
 
i10-index
82
 
Publications
20
 
Co-authors
106
list available
Contact
No contact links provided.
Publications
3 items
Solving Set Constraints with Comprehensions and Bounded Quantifiers
2025
Cited
0
Lean-SMT: An SMT tactic for discharging proof goals in Lean
2025
Cited
0
Towards SMT Solver Stability via Input Normalization
2024
Cited
0
Resume (English only)
Co-authors
106 total
Clark Barrett
Clark Barrett
Stanford University
Andrew Reynolds
Andrew Reynolds
University of Iowa, Amazon Web Services
Haniel Barbosa
Haniel Barbosa
Universidade Federal de Minas Gerais
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Yoni Zohar
Yoni Zohar
Bar Ilan University