Nghiem Nguyen Viet Dung
Doctorant – LIFO – Université d’Orléans
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT
APP – Apprentissage
Mots-clés :
- SAT, apprentissage
Doctorant – LIFO – Université d’Orléans
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT
APP – Apprentissage