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.
1
Il y a quelques bonnes réponses à propos de k-SAT sur le site: notes de cours , limites supérieure et inférieure , avec de nombreux liens à l'intérieur. Essayez également de rechercher la balise sat .
—
Hsien-Chih Chang 張顯 之