scientific article
From MaRDI portal
Publication:2848688
zbMath1272.68362MaRDI QIDQ2848688
Sean McLaughlin, Clark Barrett, Yeting Ge
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106000065
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
versat: A Verified Modern SAT Solver ⋮ Verification of clock synchronization algorithms: experiments on a combination of deductive tools ⋮ Linear Arithmetic with Stars ⋮ Extending Sledgehammer with SMT Solvers ⋮ Rocket-Fast Proof Checking for SMT Solvers ⋮ Efficiently checking propositional refutations in HOL theorem provers ⋮ Scalable fine-grained proofs for formula processing ⋮ Reliable reconstruction of fine-grained proofs in a proof assistant ⋮ A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses ⋮ Modular SMT Proofs for Fast Reflexive Checking Inside Coq ⋮ Reconstruction of Z3’s Bit-Vector Proofs in HOL4 and Isabelle/HOL ⋮ Combining Theories with Shared Set Operations ⋮ Extending Sledgehammer with SMT solvers
Uses Software
This page was built for publication:
