Informations sur k-SAT (Introduction, limites, méthodes, etc.)
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...