Can Q-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver? - Kurin, Vitaly; Godil, Saad; Whiteson, Shimon; Catanzaro, Bryan (Advances in Neural Information Processing Systems, 2020)