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:10 - 5 self

Documents Related by Co-Citation

222 Solving SAT and SAT Modulo Theories: from an Abstract Davis-Putnam-Logemann-Loveland Procedure to DPLL(T – Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli - 2006
21 Rocket-fast proof checking for SMT solvers – M Moskal - 2008
755 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
10 Fast and Flexible Proof Checking for SMT – Duckki Oe, Andrew Reynolds, Aaron Stump - 2009
38 Fast LCF-style proof reconstruction for Z3 – S Böhme, T Weber - 2010
1294 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
440 Simplification by cooperating decision procedures – Greg Nelson, Derek C. Oppen - 1979
266 A Fast Linear-Arithmetic Solver for DPLL(T) – Bruno Dutertre, Leonardo de Moura - 2006
21 Type-preserving Compilation for End-to-end Verification of Security Enforcement – Juan Chen, Ravi Chugh, Nikhil Swamy