k-SAT에 대한 정보 (소개, 경계, 방법 등)

k-SAT를 훌륭하고 부드럽게 소개 할 수있는 곳을 알고 싶습니다 (컴퓨터 과학 배경이 좋지 않은 수학자 일 수 있음). 또한 k-SAT를 해결하는 데 사용되는 현재 방법을 조사하거나 설명하는 논문을 알고 싶습니다. 마지막으로 k-SAT를 해결하는 가장 잘 알려진 방법에 관심이 있습니다. 최고의 평균 사례와 최고의 최악의 행동에 대한 아이디어를 얻고 싶습니다.

요컨대, 나는 컴퓨터 과학이 아닌 수학에 종사하는 사람이 k-SAT의 전문가가되는 데 도움이되는 논문을 찾고 있습니다.

강의 노트 참조 스레드 에서이 문서가 있습니다.

이 만족 도서 : 만족도 문제 : 이론 및 응용 프로그램 은 k-SAT를 수학자에게 소개하는 데 적합합니다. 최신이 아니지만 여전히 매우 귀중한 자원입니다.