SAT Solver Verification

swMATH28831MaRDI QIDQ40545FDOQ40545

Author name not available (Why is that?)

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
• versat
• IsaFoL
• DPT
• Completeness theorem
• Paraconsistency
• Propositional Resolution
• Formalization of Abstract State Transition Systems for SAT
• Epistemic Logic

This page was built for software: SAT Solver Verification