The following pages link to IsaFoL (Q31023):
Displaying 4 items.
- A verified SAT solver framework with learn, forget, restart, and incrementality (Q1663234) (← links)
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality (Q2817909) (← links)
- Formalization of the Resolution Calculus for First-Order Logic (Q2829269) (← links)
