Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Learning polynomials over GF(2) in a SAT solver

Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

https://hal.inrae.fr/hal-02746867
Déposant : Migration Prodinra <>
Soumis le : mercredi 3 juin 2020 - 10:54:55
Dernière modification le : mercredi 16 septembre 2020 - 17:03:36

Fichier

Learning polynomials over GF 2...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-02746867, version 1
  • PRODINRA : 263229

Collections

Citation

Georgios Katsirelos, Laurent Simon. Learning polynomials over GF(2) in a SAT solver. SAT 2012 - 15th International Conference on Theory and Applications of Satisfiability Testing, Federazione Bruno Kessler., Jun 2012, Trente, Italy. ⟨hal-02746867⟩

Partager

Métriques

Consultations de la notice

7

Téléchargements de fichiers

28