부분 결과서지만 확인
In Search of an Easy Witness: Exponential Time vs. Probabilistic Polynomial TimeR. Impagliazzo, V. Kabanets, A. Wigderson · 2002Journal of Computer and System Sciences 65(4), 672–694쪽 (2002) · 학회 발표 IEEE Conference on Computational Complexity 2001, 2–12쪽NEXP 가 다항 크기 회로를 가진다면 NEXP 문제의 증거도 작은 회로로 적을 수 있다는 「쉬운 증거 보조정리」의 원전이다. Williams 의 NEXP ⊄ ACC⁰ 증명이 이 보조정리를 쓴다. 2-3 의 「알고리즘에서 하한으로」 글이 인용한다.
확인:원문은 확인하지 못함. 서지는 DOI 등록 기록으로, 내용은 Murray–Williams 2018 서론과 Aaronson 2017 §6.4.2 로 확인.