Z3: an efficient SMT solver (2008)

by Leonardo De Moura, Nikolaj Bjørner
Venue:In 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems