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