Using a SAT solver as a fast decision procedure for propositional logic in an LCF-style theorem prover (2005)

Cached

Download Links

by Tjark Weber
Venue:In Proc. of 18th Int. Conf. on the Theorem Proving in Higher Order Logics
Citations:6 - 1 self