Centre de Recherche en Informatique de Lens
Recherches en intelligence artificielle et applications
Présentation
Thématiques
Organigramme
Actualités
Axes de recherche
Données
Connaissances
Contraintes
Activités
Thèses & HDR
Projets/Collaborations/Actions
Séminaires
Productions scientifiques
Publications
Logiciels
Prix/Récompenses
Annuaires
Membres
Partenaires
Informations pratiques
Accès
Contact
Recrutements
Français
English
De la résolution du problème SAT à la résolution de problèmes autour de SAT