Centre de Recherche en Informatique de Lens
(current)
Présentation
Thématiques
Organigramme
Accès
Actualités
Recherche
Représentation des Connaissances et Raisonnements
Algorithmes pour l'Inférence et Contraintes
Thèses & HDR
Projets/Collaborations/Actions
Prix/Récompenses
Séminaires
Productions scientifiques
Publications
Logiciels
Annuaire
Contact
Langue
Français
Anglais
Allemand
Intranet
Anthony Blomme
Doctorant
Coordonnées
Diplôme(s) en cours ou obtenu(s) en étant au CRIL
Thèse :
Explication de solutions optimales et sous-optimales en variables booléennes
