Etude des mécanismes de transformation de modèles CSP/SAT

par Claudia Vasconcellos

Projet de thèse en Informatique

Sous la direction de Frédéric Lardeux et de Vincent Barichard.

Thèses en préparation à Angers , dans le cadre de Sciences et Technologies de l'Information et de Mathématiques , en partenariat avec 9 - LERIA (Laboratoire d'étude et de recherche en informatique d'Angers) (equipe de recherche) depuis le 21-09-2016 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.