versat
From MaRDI portal
Software:20426
swMATH8417MaRDI QIDQ20426FDOQ20426
Author name not available (Why is that?)
Cited In (12)
- 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
- Title not available (Why is that?)
- A verified SAT solver framework with learn, forget, restart, and incrementality
- A verified SAT solver framework with learn, forget, restart, and incrementality
- Efficient, verified checking of propositional proofs
- Mechanical verification of SAT refutations with extended resolution
- 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
