SAT Solver Verification

MaRDI QIDQ40545swMATHFDO

Official website https://www.isa-afp.org/entries/SATSolverVerification.html

Described by source

• Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL

Cited in

(11)

• A verified SAT solver framework with learn, forget, restart, and incrementality
• versat
• A verified SAT solver framework with learn, forget, restart, and incrementality
• IsaFoL
• Formalization of Abstract State Transition Systems for SAT
• DPT
• Completeness theorem
• Paraconsistency
• Propositional Resolution
• Epistemic Logic
• Formalization and implementation of modern SAT solvers

This page was built for software: SAT Solver Verification