원전원문 확인
The complexity of theorem-proving proceduresStephen A. Cook · 1971STOC 1971 (Proceedings of the 3rd Annual ACM Symposium on Theory of Computing), 151–158쪽NP 의 모든 문제가 명제 논리식의 판정 문제로 환산됨을 보여 NP-완전 이론을 연 논문이다. 8쪽짜리 학회 논문으로, 다항 시간 환산의 개념과 오늘날 「SAT 는 NP-완전」이라 부르는 결과가 여기서 나온다. 용어와 표기(항진식 판정, 오라클을 쓰는 환산)가 지금과 달라서, 교과서로 개념을 익힌 뒤 원전을 확인하려는 독자에게 맞다. 연결한 것은 저자 누리집의 스캔본이다.
확인:저자 누리집의 스캔본을 열어 요약 부분을 읽음.원문 주소 (www.cs.toronto.edu)이 카드를 붙인 자료 3