J'aimerais savoir où je peux me tourner pour une bonne et douce introduction à k-SAT (cela peut être pour les mathématiciens qui peuvent ne pas avoir une bonne formation en informatique). J'aimerais également connaître les articles qui peuvent étudier ou expliquer les méthodes actuelles utilisées pour résoudre k-SAT. Enfin, je m'intéresse aux méthodes les plus connues pour résoudre k-SAT. J'aimerais avoir une idée du meilleur cas moyen et du meilleur comportement pire cas.
En bref, je recherche des articles qui aideront quelqu'un en mathématiques (pas en informatique) à devenir beaucoup plus un expert en k-SAT.
reference-request
sat
survey
Matt Groff
la source
la source
Réponses:
Du fil de référence de la note de cours, nous avons ce document .
la source
Ce livre d'enquête, Problème de satisfaction: théorie et applications , est approprié pour présenter le k-SAT aux mathématiciens. Ce n'est pas une ressource très récente mais toujours très précieuse.
la source