Back to Results
First PageMeta Content
Proof assistants / Theoretical computer science / Logic in computer science / Mathematical logic / Isabelle / Logic for Computable Functions / Mathematics / Resolution / Constructible universe / Theorem prover / LCF / Formal methods


Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber
Add to Reading List

Document Date: 2005-09-13 07:36:26


Open Document

File Size: 1,03 MB

Share Result on Facebook
UPDATE