SAT Solver Verification

swMATH28831MaRDI QIDQ40545FDOQ40545

Author name not available (Why is that?)

Described by source

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

Cited In (4)

• 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

This page was built for software: SAT Solver Verification