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
Projet PRIME AIM-GPT
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
Deutsch
English
Jerry Lonlac Konlac
Annuaire des anciens membres
Coordonnées
Poste 80 01 46
lonlac@cril.univ-artois.fr
http://www.cril.univ-artois.fr/~lonlac
Diplôme en cours ou obtenu en étant au CRIL
Thèse :
Résolution du problème de Satisfiabilité propositionnelle (SAT) et ses applications
2014-10-03
Axe de recherche
Contraintes
Projets récents
ANR SATAS
2016-2020
CPER Data
2015-2022