Informazioni su k-SAT (introduzione, limiti, metodi, ecc.)

Mi piacerebbe sapere dove posso rivolgermi per una buona e delicata introduzione a k-SAT (questo potrebbe essere per i matematici che potrebbero non avere una buona preparazione informatica). Mi piacerebbe anche conoscere articoli che potrebbero sondare o spiegare gli attuali metodi usati per risolvere k-SAT. Infine, sono interessato ai metodi più noti per risolvere k-SAT. Mi piacerebbe avere un'idea del miglior caso medio e del miglior comportamento peggiore.

In breve, sto cercando documenti che aiuteranno qualcuno in matematica (non l'informatica) a diventare molto più esperto di k-SAT.

Dal thread di riferimento della Nota di lezione, abbiamo questo documento .

Questo libro di indagine, Problema di soddisfazione: teoria e applicazioni , è appropriato per introdurre k-SAT ai matematici. Non è una risorsa molto recente ma comunque molto preziosa.