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
