Cesare Tinelli's Research
From Counter-Model-based Quantifier Instantiation to Quantifier Elimination in SMT. CADE-27, April 2019. Invited Talk.
An Overview of Satisfiability Modulo Theories and Applications. ETAPS 2019, April 2019. Invited Tutorial.
Contract-based Compositional Verification of Infinite-State Reactive Systems. VSTTE 2018, July 2018. Invited Talk.
SMT-based Unbounded Model Checking with IC3 and Approximate QE. ENS Paris and CEA, July 2014. Invited talk.
Combined Satisfiability Modulo Parametric Theories. Intel Strategic CAD Labs, Portland, OR. October 2007.
Trends and Challenges in Satisfiability Modulo Theories. DISPROVING'07 and VERIFY'07. July 2007. Keynote talk.
An Abstract Framework for Satisfiability Modulo Theories. TABLEAUX'07. July 2007. Invited talk.
The Impact of Craig's Interpolation Theorem in Computer Science. Interpolations: A conference in honor of William Craig. May 2007. Invited talk.
Formalizing DPLL-based Solvers for Propositional Satisfiability and Satisfiability Modulo Theories. Microsoft Research, Cambridge, England. July 2005. Invited talk.
DPLL-based Checkers for Satisfiability Modulo (Multiple) Theories. Carnegie Mellon University. October 2004. Invited talk.