Proof Translation and SMT-LIB Benchmark Certification: A Preliminary Report (2008)

Cached

Download Links

by Yeting Ge , Clark Barrett
Venue:In 6’th International Workshop on SMT
Citations:3 - 1 self

Documents Related by Co-Citation

161 Solving SAT and SAT Modulo Theories: From an Abstract Davis-Putnam-Logemann-Loveland Procedure to DPLL(T – Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli - 2006
1206 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
14 Rocket-Fast Proof Checking for SMT Solvers – M Moskal - 2008
216 A Fast Linear-Arithmetic Solver for DPLL(T) – Bruno Dutertre, Leonardo de Moura - 2006
165 Proofs and refutations – I Lakatos - 1976
117 Paramodulation-Based Theorem Proving – Robert Nieuwenhuis, Albert Rubio - 1999
94 On Generating Small Clause Normal Forms – Andreas Nonnengart, Georg Rock, Christoph Weidenbach - 1998
53 de Moura and Nikolaj Bjørner. Z3: An efficient SMT solver – Leonardo
33 Proof-producing Congruence Closure – Robert Nieuwenhuis, Albert Oliveras - 2005