Sign in
Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation).
George Katsirelos
Laurent Simon
Published in:
SAT (2012)
Keyphrases
</>
sat solvers
learning algorithm
constraint satisfaction