Z3: An Efficient SMT Solver (2008)

by L M DE MOURA, N BJØRNER
Venue:In Proceedings of the 14th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS