–
Thèmes :
IMG – Incertitude, Modèles Graphiques, Réseaux Bayésiens
PPC – Contraintes et SAT
Mots-clés :
- SAT
- Programmation par contraintes
- Optimization combinatoire
- Modèles Graphiques
–
IMG – Incertitude, Modèles Graphiques, Réseaux Bayésiens
PPC – Contraintes et SAT