Thông tin về k-SAT (Giới thiệu, Giới hạn, Phương pháp, v.v.)

Tôi muốn biết nơi tôi có thể giới thiệu một cách tốt đẹp, nhẹ nhàng về k-SAT (điều này có thể dành cho các nhà toán học có thể không có nền tảng khoa học máy tính tốt). Tôi cũng muốn biết các bài báo có thể khảo sát hoặc giải thích các phương pháp hiện tại được sử dụng để giải k-SAT. Cuối cùng, tôi quan tâm đến các phương pháp nổi tiếng nhất để giải k-SAT. Tôi muốn có một ý tưởng về trường hợp trung bình tốt nhất và hành vi trường hợp xấu nhất tốt nhất.

Nói tóm lại, tôi đang tìm kiếm những bài báo giúp ai đó trong toán học (không phải khoa học máy tính) trở thành một chuyên gia về k-SAT nhiều hơn.

Từ chủ đề tham khảo Bài giảng, chúng tôi có tài liệu này .

Cuốn sách khảo sát này, Vấn đề thỏa mãn: Lý thuyết và Ứng dụng , phù hợp để giới thiệu k-SAT cho các nhà toán học. Nó không phải là rất gần đây nhưng vẫn là tài nguyên rất có giá trị.