SMT 2010 Accepted Papers

Bounded Model Checking of Multi-threaded Software using SMT solvers
Efficient Decision Procedure for Non-linear Arithmetic Constraints using CORDIC
Instantiation-Based Interpolation for Quantified Formulae
An Alldifferent Constraint Solver in SMT
On using an inexact floating-point LP solver for deciding linear arithmetic in a SMT solver
A Practical Approach to SMT(LA(Z))
Exploring and Exploiting Algebraic and Graphical Properties of Resolution
A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra
The SMT-LIB Standard - Version 2.0
An SMT-LIB Theory of Binary Floating-Point Arithmetic
Comparing Proof Systems for Linear Real Arithmetic with LFSC