Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

74

Voted

ENTCS
2006

105views more ENTCS 2006»

Integrating a SAT Solver with an LCF-style Theorem Prover

15 years 2 months ago

Integrating a SAT Solver with an LCF-style Theorem Prover

Download www.cl.cam.ac.uk

Tjark Weber

Real-time Traffic

ENTCS 2006 |

claim paper

Related Content

» Unit Propagation in a Tableau Framework

» An Integrated Approach for Combining BDD and SAT Provers

» Finding Minimal Unsatisfiable Cores of Declarative Specifications

» Tool Building Requirements for an API to FirstOrder Solvers

» TDecision by Decomposition

» Unsound Theorem Proving

» Embedding Deduction Modulo into a Prover

» Automatic Proof and Disproof in IsabelleHOL

» Modular Verification of Software Components in C

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	ENTCS
Authors	Tjark Weber

Comments (0)