Learning Local Search Heuristics for Boolean Satisfiability

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.

Graph Neural Network reinforcement-learning +2