Cesare Tinelli's Research

Selected Talks

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.

Theory and Practice of Decision Procedures for Combinations of Theories. Part I: Theory and Part II: Practice. CAV'05. July 2005. Invited Tutorial with Clark Barrett.

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.