versat
From MaRDI portal
Software:20426
swMATH8417MaRDI QIDQ20426FDOQ20426
Author name not available (Why is that?)
Cited In (12)
- Extracting verified decision procedures: DPLL and Resolution
- SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers
- Efficient verified (UN)SAT certificate checking
- Verifying the conversion into CNF in dafny
- Mechanical Verification of SAT Refutations with Extended Resolution
- Title not available (Why is that?)
- A verified SAT solver framework with learn, forget, restart, and incrementality
- An Expressive Model for Instance Decomposition Based Parallel SAT Solvers
- Efficient, verified checking of propositional proofs
- A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
- versat: A Verified Modern SAT Solver
- \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML
This page was built for software: versat
