Examples of Hard Tautologies in the Propositional Calculus

Balakrishnan Krishnamurthy, Robert N. Moll

Browse the full STOC paper archive.