부분 결과서지만 확인
Time-Space Tradeoffs for Counting NP Solutions Modulo IntegersR. Ryan Williams · 2008Computational Complexity 17(2), 179–219쪽 (2008)SAT 와 그 해의 개수를 정수로 나눈 나머지를 구하는 문제에 대한 시간·공간 하한을 다룬 논문으로, n^(2cos(π/7)) ≈ n^1.80 시간 하한의 출전으로 널리 인용된다. 공간을 n 의 아주 작은 거듭제곱으로 제한했을 때 SAT 에 필요한 시간의 하한으로 자주 인용되는 수치가 이 계열 연구에서 나왔다. flvv-2005 의 황금비 지수를 끌어올린 결과로 알려져 있다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·권호·쪽을 확인했다(본문은 열지 못함).