The Yices SMT solver. (2006)

by B Dutertre, L D Moura