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)

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

This page was built for software: SAT Solver Verification