Login / Signup

Integration of supercubing and learning in a SAT solver.

Domagoj BabicAlan J. Hu
Published in: ASP-DAC (2005)
Keyphrases
  • learning algorithm
  • sat solvers
  • reinforcement learning
  • machine learning
  • active learning