Can Q-learning with graph networks learn a generalizable branching heuristic for a SAT solver? by Kurin, V, Godil, S, Whiteson, S, Catanzaro, B