부분 결과서지만 확인
The complexity of satisfiability problemsThomas J. Schaefer · 1978STOC 1978 (Proceedings of the 10th Annual ACM Symposium on Theory of Computing), 216–226쪽불 변수 제약 충족 문제는 제약의 종류에 따라 다항 시간에 풀리거나 NP-완전이거나 둘 중 하나라는 이분 정리의 출전으로 널리 인용된다. P ≠ NP 라면 둘 사이에 중간 문제가 있다는 Ladner 정리와 달리, 자연스러운 문제 족 안에서는 중간이 없다는 쪽의 첫 결과로 꼽힌다. 2017년 CSP 이분 정리(bulatov-2017, zhuk-2020)로 이어지는 흐름의 출발점이다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·학회·쪽을 확인했다(본문은 열지 못함).