Integrating a SAT Solver with an LCF-style Theorem Prover (2005)

Cached

Download Links

by Tjark Weber
Venue:Proceedings of the Third International Workshop on Pragmatical Aspects of Decision Procedures in Automated Reasoning (PDPAR 2005
Citations:6 - 1 self