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 : jeudi 11 janvier 2018 - 06:20:11

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

71