3 ms·"The complexity of theorem-proving procedures" Stephen Cook (1971)2 points by sandwichsphinx 2y ago