Cook’s 1971 Paper proving boolean satisfiability NP-Complete transcribed to TeX4mhz.de1 point·gbacon··1 commentOpen articleSaveView on HN