Cesare Tinelli's Research
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.