Leonardo Mendonça de Moura, Nikolaj Bjørner. Proofs and Refutations, and Z3. In Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz, editors, Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008. Volume 418 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
Abstract is missing.