Satisfiabilité propositionnelle et théorie des graphes

par Mohamed Yazid Boumarafi

Thèse de doctorat en Informatique

Sous la direction de Lakhdar Saïs.

Thèses en préparation à l'Artois , dans le cadre de ED Sciences Pour l'Ingénieur (n°72) depuis le 07-10-2016 .


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


  • Pas de résumé disponible.