On the Complexity of Derivation in Propositional Calculus
Author:
- G. S. TseitinGTG. S. Tseitin
- 1 January 1970
- book chapter
- Published by Springer Nature
- p. 115-125
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965