개관서지만 확인
Propositional Proof Complexity: Past, Present and FuturePaul Beame, Toniann Pitassi · 1998Bulletin of the EATCS 65 (1998), 66쪽부터 · ECCC TR98-067 (1998년 12월 공개 · 보고서 페이지의 저자 표기는 Paul Beame) · 재수록: Current Trends in Theoretical Computer Science: Entering the 21st Century (World Scientific, 2001), 42–70쪽명제 논리에서 증명의 길이를 연구하는 증명 복잡도 분야의 지난 성과와 남은 문제를 정리한 개관이다. 초록은 증명 복잡도가 계산 복잡도의 주요 미해결 문제와 자동 정리 증명기의 실제 성질 양쪽에 이어져 있다고 적는다. NP 대 coNP 를 증명 체계의 하한으로 풀려는 Cook 계획의 1990년대 말 현황을 인용하려는 글에 맞다.
확인:ECCC 보고서 페이지에서 제목·공개일·초록을 확인했고, 공저자와 학술지·재수록 서지는 Crossref 에 출판사가 등록한 다른 논문 두 편의 참고문헌 기록으로 맞춰 보았다.