Learning Polynomials over GF(2) in a SAT Solver

Type de document :
Communication dans un congrès
15th International Conference on Theory and Applications of Satisfiability Testing, Jun 2012, Trento, Italy. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00790511
Contributeur : Laurent Simon <>
Soumis le : mercredi 20 février 2013 - 13:50:16
Dernière modification le : mardi 24 avril 2018 - 13:38:29

Identifiants

  • HAL Id : hal-00790511, version 1

Collections

Citation

George Katsirelos, Laurent Simon. Learning Polynomials over GF(2) in a SAT Solver. 15th International Conference on Theory and Applications of Satisfiability Testing, Jun 2012, Trento, Italy. 2012. 〈hal-00790511〉

Partager

Métriques

Consultations de la notice

115