Integrating a SAT Solver with an LCF-style Theorem Prover (2005)
by
Tjark Weber
| Venue: | Proceedings of the Third International Workshop on Pragmatical Aspects of Decision Procedures in Automated Reasoning (PDPAR 2005 |
| Citations: | 3 - 0 self |
Document Versions
| Integrating a SAT Solver with an LCF-style Theorem Prover –Tjark Weber — 2005 — Proceedings of the Third International Workshop on Pragmatical Aspects of Decision Procedures in Automated Reasoning (PDPAR 2005 |
