Stephen A. Cook. Short Propositional Formulas Represent Nondeterministic Computations. Inf. Process. Lett., 26(5):269-270, 1988.
@article{Cook88,
title = {Short Propositional Formulas Represent Nondeterministic Computations},
author = {Stephen A. Cook},
year = {1988},
researchr = {https://researchr.org/publication/Cook88},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {26},
number = {5},
pages = {269-270},
}