versat

MaRDI QIDQ20426swMATHFDO

Official website http://rd.springer.com/chapter/10.1007/978-3-642-27940-9_24

Cited in

(23)

• Efficient verified (UN)SAT certificate checking
• An expressive model for instance decomposition based parallel SAT solvers
• Extracting verified decision procedures: DPLL and resolution
• Verifying the conversion into CNF in dafny
• DRAT-trim
• GNATprove
• IsaFoL
• GRAT
• OEuf
• DPT
• SAT Solver Verification
• BooleForce
• A verified SAT solver framework with learn, forget, restart, and incrementality
• scientific article; zbMATH DE number 7566059 (Why is no real title available?)
• A verified SAT solver framework with learn, forget, restart, and incrementality
• Efficient, verified checking of propositional proofs
• FRAT
• cake_lpr
• Mechanical verification of SAT refutations with extended resolution
• CertiStr
• versat: A Verified Modern SAT Solver
• SpyBug: automated bug detection in the configuration space of SAT solvers
• \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML

This page was built for software: versat