Cook SA. (1971). The complexity of theorem proving procedures Proc. 3rd ACM Symp. on Theory of Computing.

See more from authors: Cook SA

References and models cited by this paper
References and models that cite this paper

Síma J, Sgall J. (2005). On the nonlearnability of a single spiking neuron. Neural computation. 17 [PubMed]

Valiant LG. (2005). Memorization and association on a realistic neural model. Neural computation. 17 [PubMed]

This website requires cookies and limited processing of your personal data in order to function. By continuing to browse or otherwise use this site, you are agreeing to this use. See our Privacy policy and how to cite and terms of use.