Extensions de classes traitables pour la satisfaisabilité propositionnelle
- Doctorant:
- Al-Saedi Mohammad Saleh Balasim
- Directeur de thèse :
- Éric Grégoire
- Co-encadrants de thèse :
- Bertrand Mazure
- Lakhdar Saïs
- Thèse soutenue le :
- 14 nov. 2016 • Faculté des sciences, Amphi S25