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.
@inproceedings{KrishnamurthyM81,
title = {Examples of Hard Tautologies in the Propositional Calculus},
author = {Balakrishnan Krishnamurthy and Robert N. Moll},
year = {1981},
researchr = {https://researchr.org/publication/KrishnamurthyM81},
cites = {0},
citedby = {0},
pages = {28-37},
booktitle = {Conference Proceedings of the Thirteenth Annual ACM Symposium on Theory of Computation, 11-13 May 1981, Milwaukee, Wisconsin, USA},
publisher = {ACM},
}