부분 결과서지만 확인
Circuit-size lower bounds and non-reducibility to sparse setsRavindran Kannan · 1982Information and Control 55(1–3), 40–56쪽 (1982) · 학회 발표 FOCS 1981 (22nd Annual Symposium on Foundations of Computer Science), 304–309쪽 — 학회판 제목은 「A circuit-size lower bound」고정된 k 마다 다항 위계의 낮은 층에 n^k 크기 회로로는 계산할 수 없는 언어가 있다는 결과의 출전으로 널리 인용된다. NP 가 다항 크기 회로를 갖지 않음을 보이는 목표에는 못 미치지만, 위계의 둘째 층까지 올라가면 고정 다항식 크기 하한은 얻는다는 뜻이다. 회로 하한이 어디까지 증명되어 있는지 정리하는 글에 필요하다.
확인:학술지판과 학회판 모두 Crossref 의 DOI 등록 기록으로 서지를 확인했다(등록 기록의 저자 표기는 R. Kannan · 본문은 열지 못함).