George Katsirelos
Chargé de Recherche – INRA MIAT
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
Chargé de Recherche – INRA MIAT
IMG – Incertitude, Modèles Graphiques, Réseaux Bayésiens
PPC – Contraintes et SAT