accès doctorat unique et mutualisé
Portail interne d'information, de services, de communication des doctorants & docteurs
ADUM Mon compte ADUM Actu Recherche Emploi Informations sur le doctorat ADUM

ANTHONY BLOMME - Admis au titre de docteur

Doctorat Informatique et applications


Thèse soutenue le 18 décembre 2023 - Université d'Artois

Ecole doctorale : Sciences, Technologie, Santé

Sujet : Explications pour les solveurs SAT

Mots-clés de la thèse : IA Explicable,Solveur SAT,Compression de preuve,

Direction de thèse : Daniel LE BERRE

Unité de recherche : CRIL - Centre de recherche en informatique de Lens UMR 8188 - Lens

Master - Informatique, Intelligence Artificielle

obtenu en septembre 2020 - Université d'Artois
Option : Intelligence Artificielle
Langues Vivantes : Allemand A1 - Débutant - Anglais B2 - Intermédiaire supérieur - Français C2 - Maternel
Dernière mise à jour le 20 octobre 2023