개관서지만 확인
Towards NP–P via proof complexity and searchSamuel R. Buss · 2012Annals of Pure and Applied Logic 163(7), 906–917쪽 (2012)증명 복잡도와 증명 탐색을 통해 NP 와 P 를 가르는 데 다가가려는 연구를 정리한 개관 논문으로 인용된다. 제목 그대로 증명 복잡도 쪽 접근의 지형을 한 편으로 훑으려는 독자에게 맞는 글이다. 내용을 직접 확인하지 못했으므로 구체적 주장을 인용할 때는 본문을 확인해야 한다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·권호·쪽을 확인했다(본문은 열지 못함).