A Tutorial on Stålmarck’s Proof Procedure for Propositional Logic
- 1 January 1998
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- LavaPublished by Association for Computing Machinery (ACM) ,1998
- Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimizationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Proof TheoryPublished by Springer Nature ,1977
- The complexity of theorem-proving proceduresPublished by Association for Computing Machinery (ACM) ,1971
- A machine program for theorem-provingCommunications of the ACM, 1962
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935