접근원문 확인
Improving Exhaustive Search Implies Superpolynomial Lower BoundsR. Williams · 2013SIAM Journal on Computing 42(3), 1218–1244쪽 (2013) · 학회 발표 STOC 2010, 231–240쪽회로의 만족 가능성을 전수 탐색보다 조금만 빨리 푸는 알고리즘이 있으면 NEXP ⊄ P/poly 가 따라 나옴을 보인 논문이다. 「알고리즘에서 하한으로」라는 접근의 출발점이며, 이 연결을 ACC⁰ 에서 실제로 완수한 것이 williams-2014 다. 2-3 의 「알고리즘에서 하한으로」 글이 인용한다. 저자 누리집의 공개본으로 연결한다.
확인:저자 공개본을 열어 초록을 읽음. 정리의 다듬은 형태는 Aaronson 2017 정리 69 로 확인.원문 주소 (people.csail.mit.edu)이 카드를 붙인 자료 1