Proofs and Refutations, and Z3 (2008)

by L M de Moura, N Bjørner
Venue:In Proc. of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants