IsaFoL

swMATH19193MaRDI QIDQ31023FDOQ31023

Author name not available (Why is that?)

Cited In (4)

• 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
• A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

This page was built for software: IsaFoL