Z3: An efficient SMT solver (2008)

by L de Moura, N Bjørner
Venue:TACAS