Laurent Simon
Professeur – LaBRI
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT
Mots-clés :
- SAT
- Contraintes
- Compilation
Professeur – LaBRI
RCR – Représentation des connaissances et modélisation des raisonnements
PPC – Contraintes et SAT