IAEM
Laboratoire : LORIA
Sujet de thèse : Consolidation des solveurs SMT pour les assistants de preuve : preuves, simplification des quantificateurs, planification de stratégies
Date de soutenance : 07/10/2022
Directeur / Directrice de thèse : MERZ Stephan
Co-directeur / Co-directrice de thèse : FONTAINE Pascal