On the Complexity of Derivation in Propositional Calculus
- 1 January 1983
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965