1 code implementation • NeurIPS 2019 • Emre Yolcu, Barnabas Poczos
We present an approach to learn SAT solver heuristics from scratch through deep reinforcement learning with a curriculum.
reinforcement-learning Reinforcement Learning (RL) +1