Login / Signup
Integration of supercubing and learning in a SAT solver.
Domagoj Babic
Alan J. Hu
Published in:
ASP-DAC (2005)
Keyphrases
</>
learning algorithm
sat solvers
reinforcement learning
machine learning
active learning