Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation).

George Katsirelos, Laurent Simon

Browse the full SAT paper archive.