CRIL
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

CNRS

  • Nous contacter
  • +33 (0)3 21 79 17 23
  • gestion@cril.univ-artois.fr
  • Nos adresses
    pour correspondance
  • FAC UFR des Sciences Jean Perrin
    Rue Jean Souvraz SP 18
    F-62307 Lens Cedex
    France
  •  
     
  • IUT IUT de Lens
    Rue de l’Université SP 16       
    F-62307 Lens Cedex
    France

Artois

Crédits et mentions légales | Intranet