Cesare Tinelli
University of Iowa(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Software Testing and Debugging Techniques, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Satisfiability Modulo Theories(2018)1,105 cited
- → Solving SAT and SAT Modulo Theories(2006)768 cited
- The SMT-LIB Standard Version 2.0(2010)
- → CVC4(2011)612 cited
- → cvc5: A Versatile and Industrial-Strength SMT Solver(2022)379 cited
- → DPLL(T): Fast Decision Procedures(2004)315 cited
- → CVC3(2007)191 cited
- → StarExec: A Cross-Community Infrastructure for Logic Solving(2014)173 cited
- → A New Correctness Proof of the Nelson-Oppen Combination Procedure(1996)148 cited
- → A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions(2014)139 cited