L
akhdar SAIS' home page
Home
Research
Publications
Teaching
Links
Personal
Home
Research
Publications
Teaching
Links
Personal
Satisfaction et Optimisation sous Contraintes
(Master Recherche "Systèmes Intelligents et Applications")
Cours
Partie I : Satisfiabilité propositionnelle (SAT) (
ppt
)
Partie II : Problèmes de Satisfaction de Contraintes (CSP) (
ppt
)
Links
Satlive
: le portail vers SAT
Constraint archive