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
Projets
En cours
Récents
Partenaires
Productions
Thèses & HDR
Publications
Logiciels
Données
Prix/Récompenses
Médiation scientifique
Actualités
Nouvelles
Séminaires
Annuaire
Informations pratiques
Accès
Contact
Organigramme
Parité - égalité
Recrutements
Français
English
De la résolution du problème SAT à la résolution de problèmes autour de SAT
Auteur:
Lakhdar Saïs
HDR soutenu le :
1 déc. 2000