SAT Solver Verification

From MaRDI portal

Revision as of 20:47, 5 March 2024 by Import240305080343 (talk | contribs) (Created automatically from import240305080343)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Software:40545

Jump to:navigation, search

swMATH28831MaRDI QIDQ40545

No author found.

Described by source

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

Related Items (4)

Formalization and implementation of modern SAT solvers ⋮ A verified SAT solver framework with learn, forget, restart, and incrementality ⋮ Formalization of Abstract State Transition Systems for SAT ⋮ A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

This page was built for software: SAT Solver Verification

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:40545&oldid=29507690"