Using a SAT Solver as a Fast Decision Procedure for Propositional Logic in an LCF-style Theorem Prover Tjark Weber - LCF - Document - PDFSEARCH.IO

First Page	Meta Content
	Using a SAT Solver as a Fast Decision Procedure for Propositional Logic in an LCF-style Theorem Prover Tjark Weber Add to Reading List Document Date: 2005-09-13 07:36:36 Open Document File Size: 351,69 KB Share Result on Facebook

Using a SAT Solver as a Fast Decision Procedure for Propositional Logic in an LCF-style Theorem Prover Tjark Weber Add to Reading List