versat

MaRDI QIDQ20426swMATHFDO

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

Cited in

(23)

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

This page was built for software: versat