Learning Polynomials over GF(2) in a SAT Solver - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Learning Polynomials over GF(2) in a SAT Solver

No file

Dates and versions

hal-00790511 , version 1 (20-02-2013)

Identifiers

  • HAL Id : hal-00790511 , version 1

Cite

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. ⟨hal-00790511⟩
80 View
0 Download

Share

Gmail Facebook X LinkedIn More