Saya ingin tahu di mana saya bisa berpaling untuk pengantar k-SAT yang bagus dan lembut (ini mungkin untuk ahli matematika yang mungkin tidak memiliki latar belakang ilmu komputer yang baik). Saya juga ingin tahu makalah yang mungkin mensurvei atau menjelaskan metode saat ini yang digunakan untuk menyelesaikan k-SAT. Akhirnya, saya tertarik pada metode yang paling dikenal untuk memecahkan k-SAT. Saya ingin mendapat gambaran tentang kasus rata-rata terbaik dan perilaku kasus terburuk terbaik.
Singkatnya, saya mencari makalah yang akan membantu seseorang dalam matematika (bukan ilmu komputer) menjadi jauh lebih ahli dalam k-SAT.
1
Ada beberapa jawaban bagus tentang k-SAT di situs: catatan kuliah , batas atas dan bawah , dengan banyak tautan di dalamnya. Coba cari tag duduk juga.
—
Hsien-Chih Chang 張顯 之