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
A (Biased) Proof Complexity Survey for SAT Practitioners
Jakob Nordstrom (KTH Royal Institute of Technology)
5 févr. 2015 - 16:30