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