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
Données
Prix/Récompenses
Annuaires
Membres
Partenaires
Informations pratiques
Accès
Contact
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