Short Propositional Formulas Represent Nondeterministic Computations

Stephen A. Cook. Short Propositional Formulas Represent Nondeterministic Computations. Inf. Process. Lett., 26(5):269-270, 1988.

Abstract

Abstract is missing.