Modern SMT Solver Implementation
put your abstract here
Leonardo DeMoura
&
Nikolaj Bjorner
, Microsoft Research, Redmond, USA
put your bio here