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

par Claudia andrea Vasconcellos gaete

Thèse de doctorat en Informatique

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

Thèses en préparation à Angers , dans le cadre de Mathématiques et Sciences et Technologies de l'Information et de la Communication depuis le 21-09-2016 .


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


  • Pas de résumé disponible.