IsaFoL
From MaRDI portal
Software:31023
No author found.
Related Items (4)
A verified SAT solver framework with learn, forget, restart, and incrementality ⋮ Formalization of the resolution calculus for first-order logic ⋮ A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality ⋮ Formalization of the Resolution Calculus for First-Order Logic
This page was built for software: IsaFoL
