The Yices SMT solver (2006)

by Bruno Dutertre, Leonardo De Moura