40
Publications
2.9K
Citations
26
H-Index
2002
Active since
Cesare Tinelli is an author at University of Iowa specializing in engineering, automated reasoning, and formal methods.
Top concepts
EngineeringAutomated ReasoningFormal MethodsFormal VerificationComputer ScienceVerificationSatisfiabilitySoftware AnalysisComputer EngineeringProgram Analysis
Publications per year
2002–2023
40
40
Solving SAT and SAT Modulo Theories
Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli · Journal of the ACM · 2006 · 766 citations
The SMT-LIB Standard Version 2.0
Clark Barrett, Aaron Stump, Cesare Tinelli · 2010 · 718 citations
The SMT-LIB Standard: Version 1.1
Silvio Ranise, Cesare Tinelli · 2005 · 88 citations
Rows per page
1–5 of 40