부분 결과서지만 확인
Time–Space Tradeoffs for SatisfiabilityLance Fortnow · 2000Journal of Computer and System Sciences 60(2), 337–353쪽 (2000) · 학회 발표 CCC 1997 (Twelfth Annual IEEE Conference on Computational Complexity), 52–60쪽 — 학회판 제목은 「Nondeterministic polynomial time versus nondeterministic logarithmic space: time-space tradeoffs for satisfiability」시간과 공간을 함께 아주 조금만 쓰는 알고리즘으로는 SAT 를 풀 수 없다는 유형의 하한을 연 논문으로 널리 인용된다. SAT 에 대한 무조건적인 하한은 이렇게 시간과 공간을 동시에 제한한 경우에만 알려져 있다. 「SAT 가 선형 시간에 안 풀린다는 것조차 일반적으로는 증명하지 못했다」는 사실을 정확히 적으려는 글에 필요하다. 후속 결과는 flvv-2005, williams-2008.
확인:학술지판과 학회판은 Crossref 의 DOI 등록 기록으로, 권호·쪽은 저자가 공개한 출판 목록(BibTeX)으로도 확인했다(본문은 열지 못함).