Z3: an efficient SMT solver (2008)

by L D Moura, N Bjørner
Venue:In TACAS