versat
From MaRDI portal
Software:20426
No author found.
Related Items (12)
versat: A Verified Modern SAT Solver ⋮ Verifying the conversion into CNF in dafny ⋮ A verified SAT solver framework with learn, forget, restart, and incrementality ⋮ Mechanical Verification of SAT Refutations with Extended Resolution ⋮ Efficient, verified checking of propositional proofs ⋮ An Expressive Model for Instance Decomposition Based Parallel SAT Solvers ⋮ \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML ⋮ Extracting verified decision procedures: DPLL and Resolution ⋮ Unnamed Item ⋮ Efficient verified (UN)SAT certificate checking ⋮ A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality ⋮ SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers
This page was built for software: versat
