Examples of Hard Tautologies in the Propositional Calculus

Balakrishnan Krishnamurthy, Robert N. Moll. Examples of Hard Tautologies in the Propositional Calculus. In Conference Proceedings of the Thirteenth Annual ACM Symposium on Theory of Computation, 11-13 May 1981, Milwaukee, Wisconsin, USA. pages 28-37, ACM, 1981.

Abstract

Abstract is missing.