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
Prix/Récompenses
Membres
Annuaire
Parité - égalité
Informations pratiques
Accès
Contact
Recrutements
Français
A (Biased) Proof Complexity Survey for SAT Practitioners
Jakob Nordstrom (KTH Royal Institute of Technology)
5 févr. 2015 - 16:30