Centre de Recherche en Informatique de Lens
Recherches en intelligence artificielle et ses applications
Thématiques
Laboratoire
Données
Connaissances
Contraintes
IA explicable
IA au service d'autres disciplines
Activités
Actualités
Projets/Collaborations/Actions
Séminaires
Productions
Thèses & HDR
Publications
Logiciels
Données
Prix/Récompenses
Annuaires
Membres
Partenaires
Informations pratiques
Accès
Contact
Organigramme
Parité - égalité
Recrutements
Français
Introduction aux solveurs CDCL
Jean-Marie Lagniez (CRIL, Université d'Artois)
12 janv. 2017 - 14:00