Zineb Habbas
Professeur – LCOMS
Thèmes :
PPC – Contraintes et SAT
PRH – Planification et Recherche Heuristique
Mots-clés :
- Décomposition
- parallélisme
- CSP
- MAX-CSP
- MAX-SAT
Professeur – LCOMS
PPC – Contraintes et SAT
PRH – Planification et Recherche Heuristique