S'abonner navigation icon
FR
navigation icon menu icon S'abonner
navigation icon Accueil navigation icon Catalogue
icon language Langues navigation icon Menu
icon close
icon arrow

Rechercher

icon searchbar

Rechercher

Catalogue

icon close
icon close
icon close
icon language

Langues

icon close
background image
button download
icon share social
Category Inria Microsoft Joint Centre rue Jean Rostand
Lire
Lire

Inria Microsoft Joint Centre rue Jean Rostand

  • 41

    pages

  • English

  • Documents

Écrit par

Publié par
icon arrow

  • 41

    pages

  • English

  • Documents

Lire
Lire
icon

Description

Niveau: Supérieur
Learning in SAT Saıd Jabbour Inria-Microsoft Joint Centre 28 rue Jean Rostand 91893 Orsay Cedex, France LIX Seminar, January 21, 2010

  • sat

  • known refutation system

  • modern sat

  • generateconflict-clause

  • conflict learning

  • solvers can


Voir icon arrow
icon success

Ajouté à mes notifications

Vous serez informé des prochaines publications.