ข้อมูลเกี่ยวกับ k-SAT (บทนำ, ขอบเขต, วิธีการ ฯลฯ )

ฉันอยากรู้ว่าฉันจะหันไปแนะนำ k-SAT ที่ดีและอ่อนโยนได้อย่างไร (นี่อาจสำหรับนักคณิตศาสตร์ที่ไม่มีพื้นฐานด้านวิทยาศาสตร์คอมพิวเตอร์ดี) ฉันต้องการทราบบทความที่อาจสำรวจหรืออธิบายวิธีการปัจจุบันที่ใช้ในการแก้ k-SAT ในที่สุดฉันสนใจวิธีที่รู้จักกันดีที่สุดในการแก้ k-SAT ฉันต้องการได้รับแนวคิดเรื่องค่าเฉลี่ยที่ดีที่สุดและพฤติกรรมกรณีที่แย่ที่สุด

ในระยะสั้นฉันกำลังมองหาเอกสารที่จะช่วยให้คนในวิชาคณิตศาสตร์ (ไม่ใช่วิทยาการคอมพิวเตอร์) กลายเป็นผู้เชี่ยวชาญใน k-SAT มากขึ้น

จากเธรดอ้างอิงของเอกสารการบรรยายเรามีเอกสารนี้

หนังสือสำรวจเล่มนี้ปัญหาความพึงพอใจ: ทฤษฎีและการใช้งานเหมาะสำหรับการแนะนำ k-SAT ให้กับนักคณิตศาสตร์ มันไม่ได้เร็ว ๆ นี้ แต่ยังมีทรัพยากรที่มีคุณค่ามาก