SMT Theory and DPLL(T)

put your abstract hereThis talk will present a basic overview of SMT, focusing on the DPLL(T)
approach.  We will review the most interesting theories that SMT
solvers can deal with and will introduce the basic ingredients of a
DPLL(T)-based SMT solver.
This talk will present a basic overview of SMT, focusing on the DPLL(T) 
approach.  We will review the most interesting theories that SMT 
solvers can deal with and will introduce the basic ingredients of a 
DPLL(T)-based SMT solver.

Albert Oliveras, Technical Univ. of Catalonia, Barcelona, Spain

...