Integrating a SAT Solver with an LCF-style Theorem Prover
Under a Creative Commons license
open access
Keywords
SAT solver
propositional resolution
proof checking
LCF-style theorem prover
Cited by (0)
- 1
This work was supported by the PhD program Logic in Computer Science of the German Research Foundation.
Copyright © 2005 Elsevier B.V.