Z3: An efficient SMT solver (2008)

by Leonardo de Moura, Nikolaj Bjørner
Venue:In Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS