Learning polynomials over GF(2) in a SAT solver - INRAE - Institut national de recherche pour l’agriculture, l’alimentation et l’environnement Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Learning polynomials over GF(2) in a SAT solver

Domaines

Mathématiques [math] Informatique [cs]
Fichier principal
Vignette du fichier
Learning polynomials over GF 2 in a SAT solver_GK_1.pdf (122.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Migration ProdInra  : Connectez-vous pour contacter le contributeur

https://hal.inrae.fr/hal-02746867

Soumis le : mercredi 3 juin 2020-10:54:55

Dernière modification le : jeudi 14 mars 2024-03:13:39

Archivage à long terme le : jeudi 3 décembre 2020-03:29:19

Télécharger pour visualiser

Dates et versions

hal-02746867 , version 1 (03-06-2020)

Identifiants

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

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS CNRS INRA UMR8623 UNIV-PARIS-SACLAY INRAE MATHNUM MIAT
9 Consultations
71 Téléchargements

Partager

Gmail Facebook X LinkedIn More