Login / Signup
From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero.
Fei Wang
Tiark Rompf
Published in:
CoRR (2018)
Keyphrases
</>
learning process
learning algorithm
sat solvers
symbolic reasoning
reinforcement learning
knowledge acquisition
learning experience
search strategies
video games