부분 결과서지만 확인
The intractability of resolutionArmin Haken · 1985Theoretical Computer Science 39, 297–308쪽 (1985)비둘기집 원리를 resolution 으로 증명하려면 지수 길이가 필요함을 보인 논문이다. resolution 증명 체계에 대한 지수 하한의 원전으로, 증명 복잡도의 대표 결과다. resolution 에 바탕을 둔 SAT 풀이 프로그램의 한계를 이해하려는 독자에게도 뜻이 있다. 게시자(Elsevier) 페이지로 연결된다.
확인:게시자 누리집이 자동 접속을 막아 원문을 열지 못함. 서지는 Crossref 의 DOI 등록 기록으로, 내용은 Aaronson 2017 정리 46 과 Fortnow 2009 §4.3 으로 확인.