Modern SMT Solver Implementation

put your abstract here

Leonardo DeMoura & Nikolaj Bjorner, Microsoft Research, Redmond, USA

put your bio here