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
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