Gaétan Hains
Professeur – LACL
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT
APP – Apprentissage
Mots-clés :
- SAT
- APP
- PCR
Professeur – LACL
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT
APP – Apprentissage